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].