linbox
contracts.h File Reference
#include <cassert>
#include <cstddef>

Macros

#define ASSERT(ignore)
 
#define IS_VALID(ignore)
 
#define REQUIRE(ignore)
 
#define ENSURE(ignore)
 
#define STATE(ignore)
 

Macro Definition Documentation

◆ ASSERT

#define ASSERT ( ignore)
Value:
((void) 0)

◆ IS_VALID

#define IS_VALID ( ignore)
Value:
((void) 0)

◆ REQUIRE

#define REQUIRE ( ignore)
Value:
((void) 0)

◆ ENSURE

#define ENSURE ( ignore)
Value:
((void) 0)

◆ STATE

#define STATE ( ignore)
Value:
((void) 0)