NLAILOGIC Namespace Reference

Data Structures
class	CBoolAssert
class	CBoolFalse
class	CBoolOperator
class	CBoolTrue
class	CBoolType
class	CClause
class	CFact
class	CFactBase
class	CFactPattern
class	CFirstOrderAssert
class	CFirstOrderOperator
class	CGoal
class	CGoalPath
class	CGoalStack
struct	CGoalStack::greater
class	CInternalGoal
class	CondAnd
class	CondOr
class	CRule
class	CValueSet
class	CVar
class	CVarMem
class	CVarSet
class	IBaseAssert
class	IBaseBoolType
class	IBaseCond
class	IBaseOperator
class	IBaseVar
class	IGoal

---