LogicalExpr class
Refers to combinations of PDDL expressions or subexpressions.
Methods
- def clone(self) -> LogicalExpr
- def is_true(self, sim_info: rearrange_pddl.PddlSimInfo) -> bool
- def is_true_from_predicates(self, preds: typing.List[pddl_predicate.Predicate]) -> bool
- def sub_in(self, sub_dict: typing.Dict[rearrange_pddl.PddlEntity, rearrange_pddl.PddlEntity]) -> LogicalExpr
- def sub_in_clone(self, sub_dict: typing.Dict[rearrange_pddl.PddlEntity, rearrange_pddl.PddlEntity])
Special methods
- def __init__(self, expr_type: LogicalExprType, sub_exprs: typing.List[typing.Union[LogicalExpr, pddl_predicate.Predicate]], inputs: typing.List[rearrange_pddl.PddlEntity], quantifier: typing.Optional[LogicalQuantifierType])
- def __repr__(self)
Properties
- compact_str get
- expr_type get
- inputs get
- prev_truth_vals: typing.List[typing.Optional[bool]] get
- Sub-expression truth values for the last self.is_true computation. A value of None is if the truth value was not computed (due to early break).
- quantifier get
- sub_exprs get set