Hoa central
Public Attributes | Protected Member Functions | List of all members
Hoa\Realdom\Boolean Class Reference
Inheritance diagram for Hoa\Realdom\Boolean:

Public Attributes

const NAME = 'boolean'
- Public Attributes inherited from Hoa\Realdom\Realdom
const NAME = '(null)'

Protected Member Functions

 _predicate ($q)
 _sample (Math\Sampler $sampler)
- Protected Member Functions inherited from Hoa\Realdom\Realdom
 construct ()
 setValue ($sampled)
 resetArguments ()
 _predicate ($q)
 _sample (Math\Sampler $sampler)
getConstraints ()
 _propagateConstraints ($type, $index, Array &$constraints)

Additional Inherited Members

- Public Member Functions inherited from Hoa\Realdom\Realdom
 __construct ()
 offsetExists ($offset)
 offsetGet ($offset)
 offsetSet ($offset, $value)
 offsetUnset ($offset)
 getArguments ()
 count ()
 getName ()
 setSampler (Math\Sampler $sampler)
 getSampler ()
 getValue ()
 reset ()
 predicate ($q)
 sample (Math\Sampler $sampler=null)
 intersectWith (Realdom $realdom)
 setConstraints (Array &$constraints)
 propagateConstraints ($type, $index)
 is ($qualifier)
 setHolder (IRealdom\Holder $holder)
 getHolder ()
 setPraspelVisitor (Visitor\Visit $visitor)
 getPraspelVisitor ()
 accept (Visitor\Visit $visitor, &$handle=null, $eldnah=null)
- Public Member Functions inherited from Hoa\Visitor\Element
 accept (Visit $visitor, &$handle=null, $eldnah=null)
- Static Public Member Functions inherited from Hoa\Realdom\Realdom
static autoBoxing (Array &$arguments, Realdom $self=null)
static setDefaultSampler (Math\Sampler $sampler)
static getDefaultSampler ()
static setMaxTry ($maxtry)
static getMaxTry ()
static setDefaultPraspelVisitor (Visitor\Visit $visitor)
static getDefaultPraspelVisitor ()
- Protected Attributes inherited from Hoa\Realdom\Realdom
 $_arguments = null
 $arguments = null
 $__sampler = null
 $_value = null
 $_constraints = null
 $_holder = null
 $_constructed = false
 $_praspelVisitor = null
- Static Protected Attributes inherited from Hoa\Realdom\Realdom
static $_sampler = null
static $_maxtry = 64
static $_defaultPraspelVisitor = null

Detailed Description

Class .

Realistic domain: boolean.

Definition at line 49 of file Boolean.php.

Member Function Documentation

Hoa\Realdom\Boolean::_predicate (   $q)

Predicate whether the sampled value belongs to the realistic domains.

mixed$qSampled value.

Definition at line 66 of file Boolean.php.

67  {
68  return is_bool($q);
69  }
Hoa\Realdom\Boolean::_sample ( Math\Sampler  $sampler)

Sample one new value.


Definition at line 77 of file Boolean.php.

78  {
79  return (bool) $sampler->getInteger(0, 1);
80  }

Member Data Documentation

const Hoa\Realdom\Boolean::NAME = 'boolean'

Realistic domain name.


Definition at line 56 of file Boolean.php.

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