Proof

Implements the proof state.

exception ConstructionError

Bases: Exception

class ProofState(*, rng, dep_graph=None, problem_path=None, goals=None, defs, draw_figure=True)

Bases: object

Object representing the proof state.

add_construction(construction)

Add a new clause of construction, e.g. a new excenter.

classmethod build_problemJGEX(problemJGEX, defsJGEX, problem_path, max_attempts, *, rng, draw_figure)

Build a problem into a Proof state object.

Return type:

ProofState

match_theorem(theorem)

Return type:

list[Dependency]

apply_dep(dep)

Add the dependency to the proof dependency graph.

Return type:

bool

Returns:

True if the statment is a new one, false otherwise.

check_goals()

Return type:

bool