|
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 &) |