Public Member Functions | Public Attributes
Condition Struct Reference

#include <axiom.h>

List of all members.

Public Member Functions

 Condition (Variable *v, int c)

Public Attributes

int cond
Variable * var

Detailed Description

Definition at line 12 of file axiom.h.


Constructor & Destructor Documentation

Condition::Condition ( Variable *  v,
int  c 
) [inline]

Definition at line 16 of file axiom.h.


Member Data Documentation

Definition at line 15 of file axiom.h.

Variable* Condition::var

Definition at line 14 of file axiom.h.


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


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06