Geometric Objects

class LineHeuristic(**data)

Bases: BaseModel

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.

model_config: ClassVar[ConfigDict] = {}: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

class CircleHeuristic(**data)

Bases: BaseModel

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.

model_config: ClassVar[ConfigDict] = {}: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

class AngleHeuristic(**data)

Bases: BaseModel

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.

line_1: tuple[NewType(PredicateArgument, str), NewType(PredicateArgument, str)]

line_2: tuple[NewType(PredicateArgument, str), NewType(PredicateArgument, str)]

model_config: ClassVar[ConfigDict] = {}: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

read_geometric_objects_from_predicate_constructions(problem, predicate_constructions)

Read geometric objects from predicate constructions.

Parameters:: predicate_constructions (Iterable[StatementConstruction]) – The predicate constructions to read geometric objects from.
Returns:: The geometric objects read from the predicate constructions.
Return type:: lines, circles, angles, free_points