Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

Unit.hpp File Reference

#include "Chain.hpp"
#include "Clause.hpp"
#include "Formula.hpp"

Go to the source code of this file.

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


Typedef Documentation

typedef Chain<Unit,CID_UNIT_LINK> UnitChain
 


Enumeration Type Documentation

enum DefType
 

Enumeration values:
DT_NONE 
DT_PRED 
DT_FUN 

enum InferenceRule
 

Enumeration values:
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 

enum InputType
 

Enumeration values:
AXIOM 
CONJECTURE 
HYPOTHESIS 

enum UnitType
 

Enumeration values:
CLAUSE 
FORMULA 


Function Documentation

ostream& operator<< ostream &  ,
UnitChain
 

ostream & operator<< ostream &  ,
UnitType 
 

ostream& operator<< ostream &  ,
InputType 
 


Generated on Sat Jun 28 15:08:58 2003 for Vampire by doxygen 1.3.2