Hoa central
Public Attributes | List of all members
Hoa\Praspel\Model\Invariant Class Reference
Inheritance diagram for Hoa\Praspel\Model\Invariant:

Public Attributes

const NAME = 'invariant'

Additional Inherited Members

- Public Member Functions inherited from Hoa\Praspel\Model\Declaration
 offsetExists ($offset)
 offsetGet ($offset)
 getVariable ($name, $borrowing=false)
 addVariable ($name, Variable $variable)
 offsetSet ($offset, $value)
 offsetUnset ($offset)
 __get ($name)
 getIterator ()
 count ()
getLocalVariables ()
 getInScopeVariables ()
 predicate ($predicate)
 getPredicates ()
- Public Member Functions inherited from Hoa\Praspel\Model\Clause
 __construct (Clause $parent)
 getParent ()
 getRoot ()
 getName ()
 getId ()
 accept (Visitor\Visit $visitor, &$handle=null, $eldnah=null)
- Public Member Functions inherited from Hoa\Visitor\Element
 accept (Visit $visitor, &$handle=null, $eldnah=null)
- Protected Member Functions inherited from Hoa\Praspel\Model\Clause
 setParent (Clause $parent)
 _getId ()
- Protected Attributes inherited from Hoa\Praspel\Model\Declaration
 $_variables = []
 $_predicates = []
 $_let = false
- Protected Attributes inherited from Hoa\Praspel\Model\Clause
 $_parent = null

Detailed Description

Class .

Represent the


Definition at line 47 of file Invariant.php.

Member Data Documentation

const Hoa\Praspel\Model\Invariant::NAME = 'invariant'



Definition at line 54 of file Invariant.php.

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