Law

class pypagate.Law(universe: 'Universe', variables: 'list[Variable]' = <factory>, unary_op: 'Callable[[Any], Any] | None' = None, bin_op: 'Callable[[Any, Any], Any] | None' = None, operands: "list['Law' | 'Variable' | 'Term' | 'Formula']" = <factory>, _parents: 'list[Law]' = <factory>, _binds: 'Any' = <factory>, _fire_on: 'list[Callable]' = <factory>, _on_change: 'list[Callable]' = <factory>, _needs_update: 'bool' = True, _var_count: 'int' = 0, _specializations: 'list[Formula]' = <factory>, _true_cache: 'dict[int, Formula]' = <factory>, _false_cache: 'dict[int, Formula]' = <factory>)

Bases: object

Attributes Summary

bin_op
operands
unary_op
universe
variables

Attributes Documentation

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

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

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

universe: Universe = <dataclasses._MISSING_TYPE object>

variables: list[Variable] = <dataclasses._MISSING_TYPE object>