Midpoint

class MidPoint(**data)

Bases: PredicateInterface

midp M A B - Represent that M is the midpoint of the segment AB.

Can be equivalent to coll M A B and cong A M B M.

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.

predicate_type: Literal[PredicateType.MIDPOINT]

segment: Segment

midpoint: Point

static preparse(args)

Preparse the predicate arguments.

Return type:

tuple[NewType(PredicateArgument, str), ...] | None

check_numerical()

Check numerically the predicate.

Return type:

bool

to_tokens()

Convert the predicate to a tuple of strings.

Return type:

tuple[NewType(PredicateArgument, str), ...]

model_config: ClassVar[ConfigDict] = {}

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