Reflect On Center
- class ReflectOnCenterHeuristicConfig(**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.REFLECT_ON_CENTER: 'reflect_on_center'>
]
- model_config: ClassVar[ConfigDict] = {}
Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].
-
heuristic_name:
- class ReflectOnCenterHeuristic
Bases:
Heuristic
Reflect points on the center of a circle.
- new_clauses(setup, max_new_points, rng)
Find new clauses to add to the problem by applying the heuristic.
- Return type:
list
[JGEXClause
]