All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines
Public Member Functions | Public Attributes
AxiomEvaluator::NegationByFailureInfo Struct Reference

List of all members.

Public Member Functions

 NegationByFailureInfo (int var, LogicAxiomLiteral *lit)

Public Attributes

LogicAxiomLiteralliteral
int var_no

Detailed Description

Definition at line 92 of file axioms.h.


Constructor & Destructor Documentation

Definition at line 96 of file axioms.h.


Member Data Documentation

Definition at line 95 of file axioms.h.

Definition at line 94 of file axioms.h.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:03