Definition

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

name: str

args: tuple[JGEXVariableName, ...]

classmethod from_str(s)

Return type:

SketchConstruction

model_config: ClassVar[ConfigDict] = {}

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

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

name: str

args: tuple[PredicateArgument, ...]

classmethod from_construction(construction, mapping)

Return type:

SketchCall

model_config: ClassVar[ConfigDict] = {}

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

v(s)

Return type:

NewType(JGEXVariableName, str)

class JGEXDefinition(**data)

Bases: BaseModel

Definitions of construction predicates.

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.

name: JGEXConstructionName

args: tuple[JGEXVariableName, ...]

rely_on_points: dict[JGEXVariableName, tuple[JGEXVariableName, ...]]

requirements: JGEXClause

clauses: tuple[JGEXClause, ...]

sketches: tuple[SketchConstruction, ...]

input_points: tuple[JGEXVariableName, ...]

output_points: tuple[JGEXVariableName, ...]

static to_dict(defs)

Return type:

dict[str, JGEXDefinition]

model_config: ClassVar[ConfigDict] = {}

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

mapping_from_construction(construction, construction_definition)

Return type:

dict[NewType(JGEXVariableName, str), NewType(PredicateArgument, str)]

input_points_of_clause(clause, defs)

Get the input points of a clause.

Return type:

set[NewType(PredicateArgument, str)]