Jgex Setup Data

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

id: JGEXSetupId

construction: PredicateConstruction

model_config: ClassVar[ConfigDict] = {}

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

class JGEXClauseInProof(**data)

Bases: BaseModel

Constructions of a clause and their resulting 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.

added_points: tuple[str, ...]

constructions: tuple[JGEXConstruction, ...]

predicates: tuple[PredicateConstructionInSetup, ...]

model_config: ClassVar[ConfigDict] = {}

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

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

setup_clauses: list[JGEXClauseInProof]

The necessary problem constuctions and their consequence predicates.

aux_clauses: list[JGEXClauseInProof]

The auxiliary constructions and their consequence predicates.

goals: list[PredicateConstructionInSetup]

Goal predicates.

model_config: ClassVar[ConfigDict] = {}

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

jgex_clauses_to_setup_data(setup_clauses, aux_clauses, goals, clauses_consequences)

Return type:

tuple[JGEXSetupData, dict[NewType(JGEXSetupId, str), PredicateConstruction]]