Clause

class JGEXConstruction(**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.

model_config: ClassVar[ConfigDict] = {'frozen': True}

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

string: str

String representation of the construction.

property name: str

property args: tuple[PredicateArgument, ...]

classmethod from_name_and_args(name, args)

Return type:

Self

classmethod from_str(construction_str)

Return type:

Self

classmethod from_tuple(construction_tuple)

Return type:

Self

rename_jgex_construction(construction, mapping)

Return type:

JGEXConstruction

is_numerical_argument(arg)

Return type:

bool

class JGEXClause(**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.

model_config: ClassVar[ConfigDict] = {'frozen': True}

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

points: tuple[PredicateArgument, ...]

constructions: tuple[JGEXConstruction, ...]

renamed(mp)

Return type:

JGEXClause

classmethod from_str(s)

Return type:

tuple[JGEXClause, ...]

order_clauses_by_points_construction_order(clauses)

Order the clauses by the construction order of the points in the clause.

Return type:

list[JGEXClause]