Tailors\Logic\Logic | API Documentation

final class Logic implements LogicInterface

Traits

BasicFunctionsTrait

Example usage.

BasicPredicatesTrait

Example usage.

BasicConnectivesTrait

Example usage.

Methods

TermInterface

const(mixed $value)

No description

from BasicFunctionsTrait

TermInterface

sub(TermInterface $t1, TermInterface $t2, TermInterface ...$t)

No description

from BasicFunctionsTrait

TermInterface

sum(TermInterface $t1, TermInterface $t2, TermInterface ...$t)

No description

from BasicFunctionsTrait

array

makeBasicFunctions(BasicValidatorsInterface $validators)

No description

from BasicFunctionsTrait

Tee

tee()

No description

from BasicPredicatesTrait

Falsum

falsum()

No description

from BasicPredicatesTrait

FormulaInterface

bool(TermInterface $t1)

No description

from BasicPredicatesTrait

array

makeBasicPredicates(BasicValidatorsInterface $validators)

No description

from BasicPredicatesTrait

FormulaInterface

and(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)

No description

from BasicConnectivesTrait

FormulaInterface

or(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)

No description

from BasicConnectivesTrait

array

makeBasicConnectives()

No description

from BasicConnectivesTrait

__construct(array $options = [])

No description

VariableInterface

var(string $symbol)

No description

Details

in BasicFunctionsTrait at line 49
`TermInterface const(mixed $value)`

Parameters

mixed

$value

Return Value

TermInterface

in BasicFunctionsTrait at line 54
`TermInterface sub(TermInterface $t1, TermInterface $t2, TermInterface ...$t)`

Parameters

TermInterface	$t1
TermInterface	$t2
TermInterface	...$t

Return Value

TermInterface

in BasicFunctionsTrait at line 59
`TermInterface sum(TermInterface $t1, TermInterface $t2, TermInterface ...$t)`

Parameters

TermInterface	$t1
TermInterface	$t2
TermInterface	...$t

Return Value

TermInterface

in BasicFunctionsTrait at line 67
`protected array makeBasicFunctions(BasicValidatorsInterface $validators)`

Parameters

BasicValidatorsInterface

$validators

Return Value

array

in BasicPredicatesTrait at line 48
`Tee tee()`

Return Value

Tee

in BasicPredicatesTrait at line 53
`Falsum falsum()`

Return Value

Falsum

in BasicPredicatesTrait at line 58
`FormulaInterface bool(TermInterface $t1)`

Parameters

TermInterface

$t1

Return Value

FormulaInterface

in BasicPredicatesTrait at line 66
`protected array makeBasicPredicates(BasicValidatorsInterface $validators)`

Parameters

BasicValidatorsInterface

$validators

Return Value

array

in BasicConnectivesTrait at line 45
`FormulaInterface and(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)`

Parameters

FormulaInterface	$f1
FormulaInterface	$f2
FormulaInterface	...$f

Return Value

FormulaInterface

in BasicConnectivesTrait at line 50
`FormulaInterface or(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)`

Parameters

FormulaInterface	$f1
FormulaInterface	$f2
FormulaInterface	...$f

Return Value

FormulaInterface

in BasicConnectivesTrait at line 58
`protected array makeBasicConnectives()`

Return Value

array

at line 35
`__construct(array $options = [])`

Parameters

array

$options

at line 43
`VariableInterface var(string $symbol)`

Parameters

string

$symbol

Return Value

VariableInterface

Logic

Traits

Methods

Details

in BasicFunctionsTrait at line 49 TermInterface const(mixed $value)

Parameters

Return Value

in BasicFunctionsTrait at line 54 TermInterface sub(TermInterface $t1, TermInterface $t2, TermInterface ...$t)

Parameters

Return Value

in BasicFunctionsTrait at line 59 TermInterface sum(TermInterface $t1, TermInterface $t2, TermInterface ...$t)

Parameters

Return Value

in BasicFunctionsTrait at line 67 protected array makeBasicFunctions(BasicValidatorsInterface $validators)

Parameters

Return Value

in BasicPredicatesTrait at line 48 Tee tee()

Return Value

in BasicPredicatesTrait at line 53 Falsum falsum()

Return Value

in BasicPredicatesTrait at line 58 FormulaInterface bool(TermInterface $t1)

Parameters

Return Value

in BasicPredicatesTrait at line 66 protected array makeBasicPredicates(BasicValidatorsInterface $validators)

Parameters

Return Value

in BasicConnectivesTrait at line 45 FormulaInterface and(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)

Parameters

Return Value

in BasicConnectivesTrait at line 50 FormulaInterface or(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)

Parameters

Return Value

in BasicConnectivesTrait at line 58 protected array makeBasicConnectives()

Return Value

at line 35 __construct(array $options = [])

Parameters

at line 43 VariableInterface var(string $symbol)

Parameters

Return Value

in BasicFunctionsTrait at line 49
`TermInterface const(mixed $value)`

in BasicFunctionsTrait at line 54
`TermInterface sub(TermInterface $t1, TermInterface $t2, TermInterface ...$t)`

in BasicFunctionsTrait at line 59
`TermInterface sum(TermInterface $t1, TermInterface $t2, TermInterface ...$t)`

in BasicFunctionsTrait at line 67
`protected array makeBasicFunctions(BasicValidatorsInterface $validators)`

in BasicPredicatesTrait at line 48
`Tee tee()`

in BasicPredicatesTrait at line 53
`Falsum falsum()`

in BasicPredicatesTrait at line 58
`FormulaInterface bool(TermInterface $t1)`

in BasicPredicatesTrait at line 66
`protected array makeBasicPredicates(BasicValidatorsInterface $validators)`

in BasicConnectivesTrait at line 45
`FormulaInterface and(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)`

in BasicConnectivesTrait at line 50
`FormulaInterface or(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)`

in BasicConnectivesTrait at line 58
`protected array makeBasicConnectives()`

at line 35
`__construct(array $options = [])`

at line 43
`VariableInterface var(string $symbol)`