1. interface
  2. Tailors
  3. \
  4. Logic
  5. \
  6. Predicates
  7. \
  8. BasicPredicatesInterface

BasicPredicatesInterface

interface BasicPredicatesInterface

Methods

Tee
tee()

No description

Falsum
falsum()

No description

FormulaInterface
bool(TermInterface $t1)

No description

Details

at line 21
Tee tee()

Return Value

Tee

at line 23
Falsum falsum()

Return Value

Falsum

at line 25
FormulaInterface bool(TermInterface $t1)

Parameters

TermInterface $t1

Return Value

FormulaInterface