1. class
  2. Tailors
  3. \
  4. Logic
  5. \
  6. Predicates
  7. \
  8. Falsum

Falsum

final class Falsum implements PredicateInterface, FormulaInterface

Traits

SymbolNotationTrait

Methods

int
notation()

No description

from  SymbolNotationTrait
bool
apply(...$arguments)

No description

int
arity()

No description

string
symbol()

No description

string
expressionString(FunctorExpressionInterface $parent = null)

No description

int
precedence()

No description

bool
evaluate(array $environment = [])

No description

FormulaInterface
where(array $environment)

No description

Details

in SymbolNotationTrait at line 21
final int notation()

Return Value

int

at line 27
bool apply(...$arguments)

Parameters

...$arguments

Return Value

bool

at line 35
int arity()

Return Value

int

at line 40
string symbol()

Return Value

string

at line 45
string expressionString(FunctorExpressionInterface $parent = null)

Parameters

FunctorExpressionInterface $parent

Return Value

string

at line 55
int precedence()

Return Value

int

See also

https://www.php.net/manual/en/language.operators.precedence.php

at line 63
bool evaluate(array $environment = [])

Parameters

array $environment

Return Value

bool

at line 71
FormulaInterface where(array $environment)

Parameters

array $environment

Return Value

FormulaInterface