Hoa central
Public Member Functions | List of all members
Hoa\Praspel\Model\Variable\Implicit Class Reference
Inheritance diagram for Hoa\Praspel\Model\Variable\Implicit:

Public Member Functions

 __construct ($name, $local, Praspel\Model\Clause $clause=null)
 
 bindTo ($value)
 
- Public Member Functions inherited from Hoa\Praspel\Model\Variable\Variable
 __construct ($name, $local, Praspel\Model\Clause $clause=null)
 
 setValue ($value)
 
getValue ()
 
 __set ($name, $value)
 
 predicate ($q=null)
 
 sample (Math\Sampler $sampler=null)
 
 reset ()
 
 key ($scalar)
 
 contains ($scalar)
 
 is ()
 
 domainof ($variable)
 
getDomains ()
 
getHeld ()
 
 getName ()
 
 isLocal ()
 
 getConstraints ()
 
 getAlias ()
 
 getClause ()
 
 accept (Visitor\Visit $visitor, &$handle=null, $eldnah=null)
 
- Public Member Functions inherited from Hoa\Visitor\Element
 accept (Visit $visitor, &$handle=null, $eldnah=null)
 

Additional Inherited Members

- Protected Attributes inherited from Hoa\Praspel\Model\Variable\Variable
 $_name = null
 
 $_local = false
 
 $_clause = null
 
 $_value = null
 
 $_domains = null
 
 $_refDomains = null
 
 $_alias = null
 
 $_constraints = []
 
 $_tmpConstraintsType = null
 
 $_tmpConstraintsIndex = null
 

Detailed Description

Class .

Represent an implicit variable.

Definition at line 57 of file Implicit.php.

Constructor & Destructor Documentation

Hoa\Praspel\Model\Variable\Implicit::__construct (   $name,
  $local,
Praspel\Model\Clause  $clause = null 
)

Build a variable.

Parameters
string$nameName.
bool$localLocal.
\Hoa\Praspel\Model\Clause$clauseClause.
Returns
void
Exceptions

Definition at line 68 of file Implicit.php.

72  {
73  if ('this' !== $name) {
74  throw new Praspel\Exception\Model(
75  'Variable %s is not an implicit one.',
76  0,
77  $name
78  );
79  }
80 
81  parent::__construct($name, $local, $clause);
82 
83  $this->in = realdom()->object();
84 
85  return;
86  }

Member Function Documentation

Hoa\Praspel\Model\Variable\Implicit::bindTo (   $value)

Bind the variable to a specific value.

Parameters
mixed$valueValue.
Returns
void

Definition at line 94 of file Implicit.php.

95  {
96  foreach ($this->getDomains() as $domain) {
97  if ($domain instanceof Realdom\Object) {
98  $domain->setObject($value);
99  }
100  }
101 
102  return;
103  }

Here is the call graph for this function:


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