Predicates Graph

Graph linking predicates by justifications as edges.

class PredicatesGraph

Bases: object

Hyper graph linking predicates by justifications as hyper-edges.

has_edge(justification)

property predicates: list[Annotated[Circumcenter | Cong | Coll | NColl | Cyclic | ConstantAngle | ACompute | LCompute | ConstantLength | ConstantRatio | EqAngle | Diff | RCompute | ObtuseAngle | MidPoint | EqRatio | Perp | NPerp | Para | NPara | SameClock | SameSide | NSameSide | PythagoreanPremises | PythagoreanConclusions | SquaredConstantLength | SquaredConstantRatio | SimtriClock | SimtriReflect | ContriClock | ContriReflect | AngleEquation | LengthEquation, FieldInfo(annotation=NoneType, required=True, discriminator='predicate_type')]]

premises()

Return type:

list[Assumption | NumericalCheck | RuleApplication | ARDeduction | CircleMerge | LineMerge | DirectConsequence | Reflexivity]

save_pyvis(*, proof_state, path, stars=[])