AxiomEvaluator::LogicAxiomLiteral Struct Reference

List of all members.

Public Attributes
std::vector< LogicAxiomRule * >	condition_of

---

Detailed Description

Definition at line 73 of file axioms.h.

---

Member Data Documentation

std::vector<LogicAxiomRule *> AxiomEvaluator::LogicAxiomLiteral::condition_of

Definition at line 75 of file axioms.h.

---

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

• axioms.h