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

Unit Class Reference

#include <Unit.hpp>

List of all members.

Public Member Functions

 Unit ()
 Unit (const Unit &a)
 Unit (char *name, InputType untype, const Formula &)
 Unit (char *name, InputType untype, const Clause &)
 Unit (InferenceRule, const Formula &, const Unit &parent)
 Unit (InferenceRule, const Clause &, const Unit &parent)
 Unit (const Clause &, const UnitList &parents)
 Unit (const Formula &, const UnitList &parents)
 Unit (void *)
 ~Unit ()
void operator= (const Unit &rhs)
bool operator== (const Unit &rhs) const
UnitType unitType () const
InputType inputType () const
DefType defType () const
void setDefType (DefType)
const Formulaformula () const
const Clauseclause () const
void setFormula (Formula f)
char * name () const
InferenceRule rule () const
long number () const
const UnitListparents () const
void * giveAway ()
void * operator new (size_t)
bool isEqualityAxiom () const
bool formulaWithFreeVars () const
bool makeDefinition (Unit &def)

Private Attributes

Data_data


Constructor & Destructor Documentation

Unit::Unit  )  [inline]
 

Unit::Unit const Unit a  )  [inline]
 

Unit::Unit char *  name,
InputType  untype,
const Formula
[inline]
 

Unit::Unit char *  name,
InputType  untype,
const Clause
[inline]
 

Unit::Unit InferenceRule  ,
const Formula ,
const Unit parent
[inline]
 

Unit::Unit InferenceRule  ,
const Clause ,
const Unit parent
[inline]
 

Unit::Unit const Clause ,
const UnitList parents
[inline]
 

Unit::Unit const Formula ,
const UnitList parents
[inline]
 

Unit::Unit void *   )  [inline, explicit]
 

Unit::~Unit  )  [inline]
 


Member Function Documentation

const Clause & Unit::clause  )  const [inline]
 

DefType Unit::defType  )  const [inline]
 

const Formula & Unit::formula  )  const [inline]
 

bool Unit::formulaWithFreeVars  )  const
 

void * Unit::giveAway  )  [inline]
 

InputType Unit::inputType  )  const [inline]
 

bool Unit::isEqualityAxiom  )  const
 

bool Unit::makeDefinition Unit def  ) 
 

char * Unit::name  )  const [inline]
 

long Unit::number  )  const [inline]
 

void* Unit::operator new size_t   ) 
 

void Unit::operator= const Unit rhs  ) 
 

bool Unit::operator== const Unit rhs  )  const [inline]
 

const UnitList & Unit::parents  )  const [inline]
 

InferenceRule Unit::rule  )  const [inline]
 

void Unit::setDefType DefType   )  [inline]
 

void Unit::setFormula Formula  f  )  [inline]
 

UnitType Unit::unitType  )  const [inline]
 


Member Data Documentation

Data* Unit::_data [private]
 


The documentation for this class was generated from the following files:
Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2