Formula

class pypagate.Formula(_value: Any = None, unary_op: Callable[[Any], Any] | None = None, bin_op: Callable[[Any, Any], Any] | None = None, operands: list['Formula' | 'Term'] = <factory>, _parents: list[Formula | Law] = <factory>, _binds: Any = <factory>, _fire_on: list[Callable] = <factory>, _on_change: list[Callable] = <factory>, _needs_update: bool = True)

Bases: object

A Well-Formed-Formula that consists of Term objects (i.e. variables) and operators.

Attributes Summary

bin_op
operands
unary_op

Methods Summary

unwrap()

Get the value the formula currently evaluates to.

Attributes Documentation

bin_op: Callable[[Any, Any], Any] | None = None

operands: list['Formula' | 'Term'] = <dataclasses._MISSING_TYPE object>

unary_op: Callable[[Any], Any] | None = None

Methods Documentation

unwrap()

Get the value the formula currently evaluates to.