Angle Vertices

class AngleVerticesHeuristicConfig(**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.

heuristic_name: Literal[<HeuristicName.ANGLE_VERTICES: 'angle_vertices'>]

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

class AngleVerticesHeuristic

Bases: Heuristic

Add all angle vertices defined at the predicate of the JGEX problem.

Parameters:

problem (JGEXProblem) – The JGEX problem to which angle vertices will be added.
angles (List) – A list of initial angles defined in the JGEX problem.

Returns:

The modified JGEX problem with added angle vertices.

Return type:

JGEXProblem

new_clauses(setup, max_new_points, rng)

Find new clauses to add to the problem by applying the heuristic.