Class to represent a collection of theory and structure blocks.
A collection of theory and structure blocks.
the set of assignments. The assignments are updated by the different steps of the problem resolution.
A mapping of defined symbol to the whole-domain constraint equivalent to its definition.
A mapping of enumerated symbols to their interpretation.
the set of questions in the problem. Questions include predicates and functions applied to arguments, comparisons, and variable-free quantified expressions.
the formula encoding the knowledge base
expand(max=10, complete=False, extended=False)¶
output: a list of Assignments, ending with a string
determine the immediate consequences of the constraints
propagate(tag=<Status.CONSEQUENCE: 6>, extended=False)¶
determine all the consequences of the constraints
simplify constraints using known assignments
decision_table(goal_string='', timeout=20, max_rows=50, first_hit=True, verify=False)¶
returns a decision table for goal_string, given self.
goal_string (str, optional) – the last column of the table.
timeout (int, optional) – maximum duration in seconds. Defaults to 20.
max_rows (int, optional) – maximum number of rows. Defaults to 50.
first_hit (bool, optional) – requested hit-policy. Defaults to True.
verify (bool, optional) – request verification of table completeness. Defaults to False
the non-empty cells of the decision table
- Return type