Statement

class Statement(predicate, args, dep_graph)

Bases: object

One predicate applied to a set of points and values. Comes with a proof that args are well ordered

check()

Symbolically check if the statement is currently considered True.

Return type:

bool

check_numerical()

Check if the statement is numerically sound.

Return type:

bool

why()

Return type:

Optional[Dependency]

classmethod from_tokens(tokens, dep_graph)

Return type:

Optional[Statement]

pretty()

Return type:

str

with_new(new_predicate, new_args)

draw(ax, rng)