trait BasicPredicatesTrait

Example usage.

class Logic
{
     use BasicPredicatesTrait;

     public function __construct(BasicValidatorsInterface $validators)
     {
         $this->basicPredicates = $this->makeBasicPredicates($validators);
         // ...
     }
}

Methods

Tee
tee()

No description

falsum()

No description

bool(TermInterface $t1)

No description

array
makeBasicPredicates(BasicValidatorsInterface $validators)

No description

Details

at line 48
Tee tee()

Return Value

Tee

at line 53
Falsum falsum()

Return Value

Falsum

at line 58
FormulaInterface bool(TermInterface $t1)

Parameters

TermInterface $t1

Return Value

FormulaInterface

at line 66
protected array makeBasicPredicates(BasicValidatorsInterface $validators)

Parameters

BasicValidatorsInterface $validators

Return Value

array