|
Compounds |
class | Unit |
class | Unit::Data |
class | UnitList |
Typedefs |
typedef Chain< Unit, CID_UNIT_LINK > | UnitChain |
Enumerations |
enum | InputType { AXIOM,
CONJECTURE,
HYPOTHESIS
} |
enum | UnitType { CLAUSE,
FORMULA
} |
enum | DefType { DT_NONE,
DT_PRED,
DT_FUN
} |
enum | InferenceRule {
IR_INPUT,
IR_PROP,
IR_PERMUT,
IR_FLATTEN,
IR_REORDER_EQ,
IR_HALF_EQUIV,
IR_ENNF,
IR_RM_EQUIV,
IR_MINISCOPE,
IR_SKOLEMIZE,
IR_RECTIFY,
IR_SWAP,
IR_CLAUSIFY,
IR_UNKNOWN
} |
Functions |
ostream & | operator<< (ostream &, InputType) |
ostream & | operator<< (ostream &, UnitType) |
ostream & | operator<< (ostream &, UnitChain &) |