Constant Length
- class ConstantLength(**data)
Bases:
PredicateInterfacelconst A B L - Represent that the length of segment AB is L
L should be given as a float.
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.CONSTANT_LENGTH]
- segment: Segment
- length: Fraction
- 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 LCompute(**data)
Bases:
PredicateInterfacelcompute A B
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.L_COMPUTE]
- segment: Segment
- static preparse(args)
Preparse the predicate arguments.
- Return type:
Optional[tuple[NewType(PredicateArgument,str),...]]
- check_numerical()
Check numerically the predicate.
- Return type:
bool
- check(proof_state)
Check symbolically the predicate in the current proof state.
If the predicate cannot be decided, return None.
- 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].
- lconst_from_lcompute(lcompute)
- Return type: