idp_solver.Run

Classes to execute the main block of an IDP program

idp_solver.Run.model_check(theories, structures=None)[source]

output: “sat”, “unsat” or “unknown”

idp_solver.Run.model_expand(theories, structures=None, max=10, complete=False, extended=False)[source]

output: a list of Assignments, ending with a string

idp_solver.Run.model_propagate(theories, structures=None)[source]

output: a list of Assignment

idp_solver.Run.decision_table(theories, structures=None, goal_string='', timeout=20, max_rows=50, first_hit=True)[source]

output: a list of rows for a decision table

idp_solver.Run.execute(self)[source]

Execute the IDP program