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

Public Attributes

const NAME = 'smallfloat'
 
- Public Attributes inherited from Hoa\Realdom\Boundfloat
const NAME = 'boundfloat'
 
- Public Attributes inherited from Hoa\Realdom\RealdomFloat
const NAME = 'float'
 
- Public Attributes inherited from Hoa\Realdom\Realdom
const NAME = '(null)'
 

Protected Member Functions

 construct ()
 
- Protected Member Functions inherited from Hoa\Realdom\Boundfloat
 construct ()
 
 _predicate ($q)
 
 _sample (Math\Sampler $sampler)
 
- Protected Member Functions inherited from Hoa\Realdom\RealdomFloat
 _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\Boundfloat
 getLowerBound ()
 
 getUpperBound ()
 
 reduceRightTo ($value)
 
 reduceLeftTo ($value)
 
- 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\Boundfloat
 $_arguments
 
- 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: smallfloat.

Definition at line 47 of file Smallfloat.php.

Member Function Documentation

Hoa\Realdom\Smallfloat::construct ( )
protected

Construct a realistic domain.

Returns
void

Definition at line 63 of file Smallfloat.php.

64  {
65  $this['lower'] = new Constfloat(-128.0);
66  $this['upper'] = new Constfloat(127.0);
67  parent::construct();
68 
69  return;
70  }

Member Data Documentation

const Hoa\Realdom\Smallfloat::NAME = 'smallfloat'

Realistic domain name.

string

Definition at line 54 of file Smallfloat.php.


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