Sameside

class SameSide(**data)

Bases: NumericalPredicate

sameside a b c x y z

Represent that a in the same kind of arc (smaller or larger) with respect to b-c as x is with respect to y-z (includes the degenerate case of the circle being a line).

If a, b, c or x, y, z are not in the same circle/line, turns true if a is closer/further/at the same distance to the midpoint of b-c and, respectively, x is closer/further/at the same distance to the midpoint of y-z.

Numerical only.

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.SAME_SIDE]
triangle1: Triangle
triangle2: Triangle
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].

class NSameSide(**data)

Bases: NumericalPredicate

nsameside a b c x y z

Represent that a is to the different side of b->c as x is to y->z.

Numerical only.

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.N_SAME_SIDE]
triangle1: Triangle
triangle2: Triangle
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].