CompilerResult

class unified_planning.engines.CompilerResult(problem: AbstractProblem | None, map_back_action_instance: Callable[[ActionInstance], ActionInstance | None] | None, engine_name: str, log_messages: List[LogMessage] | None = None, metrics: Dict[str, str] | None = None, plan_back_conversion: Callable[[Plan], Plan] | None = None, plan_forward_conversion: Callable[[Plan], Plan] | None = None)[source]

Bases: Result

Class that represents the result of a compile call.

problem: AbstractProblem | None
map_back_action_instance: Callable[[ActionInstance], ActionInstance | None] | None
engine_name: str
log_messages: List[LogMessage] | None = None
metrics: Dict[str, str] | None = None
plan_back_conversion: Callable[[Plan], Plan] | None = None
plan_forward_conversion: Callable[[Plan], Plan] | None = None
is_definitive_result(*args) bool[source]

This predicate should state if the Result is definitive or if it can be improved.