AxiomEvaluator::NegationByFailureInfo Struct Reference

List of all members.

Public Member Functions
	NegationByFailureInfo (int var, LogicAxiomLiteral *lit)
Public Attributes
LogicAxiomLiteral *	literal
int	var_no

---

Detailed Description

Definition at line 92 of file axioms.h.

---

Constructor & Destructor Documentation

AxiomEvaluator::NegationByFailureInfo::NegationByFailureInfo	(	int	var,
		LogicAxiomLiteral *	lit
	)		[inline]

Definition at line 96 of file axioms.h.

---

Member Data Documentation

LogicAxiomLiteral* AxiomEvaluator::NegationByFailureInfo::literal

Definition at line 95 of file axioms.h.

int AxiomEvaluator::NegationByFailureInfo::var_no

Definition at line 94 of file axioms.h.

---

The documentation for this struct was generated from the following file:

• axioms.h