symbolic.Axiom

class symbolic.Axiom

Bases: pybind11_object

__init__(*args, **kwargs)

Methods

__init__(*args, **kwargs)
is_consistent(*args, **kwargs)	Overloaded function.

is_consistent(*args, **kwargs)

Overloaded function.

1. is_consistent(self: symbolic.pysymbolic.Axiom, state: symbolic::State) -> bool

   Determine whether the axiom is satisfied in the given state.

   Args:

   state: State to evaluate.

   Returns:

   Whether the state is consistent with this axiom.

2. is_consistent(self: symbolic.pysymbolic.Axiom, state: symbolic::PartialState) -> bool

   Determine whether the axiom is satisfied in the given partial state.

   Args:

   state: Partial state to evaluate.

   Returns:

   Whether the state is consistent with this axiom.