LogicInterface
interface LogicInterface implements BasicFunctionsInterface
interface LogicInterface implements BasicFunctionsInterface
TermInterface
const(mixed $value)
TermInterface
sub(TermInterface $t1, TermInterface $t2, TermInterface ...$t)
TermInterface
sum(TermInterface $t1, TermInterface $t2, TermInterface ...$t)
VariableInterface
var(string $symbol)