Logo Search packages:      
Sourcecode: maria version File versions

Property Class Reference

#include <Property.h>

List of all members.

Detailed Description

Property automaton

Definition at line 37 of file Property.h.

Public Types

enum  Binop { opAnd, opOr, opUntil, opRelease }
enum  Unop { opNot, opFinally, opGlobally, opNext }

Public Member Functions

bool accepts (unsigned i, unsigned acc) const
class LtladdBinop (enum Binop op, class Expression &left, class Expression &right)
class LtladdConstant (bool b)
class LtladdExpression (class Expression &expr)
class LtladdUnop (enum Unop op, class Expression &expr)
bool create (const char *translator, class Expression &expr)
unsigned getFinalState () const
unsigned getInitialState () const
unsigned getNumSets () const
unsigned getNumStates () const
bool isFinite () const
class PropertyStateoperator[] (unsigned i) const
 Property ()
 ~Property ()

Private Member Functions

class Property operator= (const class Property &old)
 Property (const class Property &old)

Private Attributes

class Expression ** myExprs
int myFD
unsigned myFinalState
unsigned myInitialState
unsigned myNumExprs
unsigned myNumSets
unsigned myNumStates
class PropertyStatemyStates
class BitVectormyStatesAccept

The documentation for this class was generated from the following files:

Generated by  Doxygen 1.6.0   Back to index