Points Registry

class Point(**data)

Bases: BaseModel

The Point class is the symbolic representation of a geometric point.

Create a new model by parsing and validating input data from keyword arguments.

Raises [ValidationError][pydantic_core.ValidationError] if the input data cannot be validated to form a valid model.

self is explicitly positional-only to allow self as a field name.

name: PredicateArgument

num: PointNum

The numerical representation of the point.

model_config: ClassVar[ConfigDict] = {}

Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

class PointsRegisty

Bases: object

Registry of points, used in the proof state to manage existing points.

add_point(point)

Return type:

None

names2points(pnames)

Return Point objects given names.

Return type:

list[Point]