Definition

class DefinitionJGEX(declare: tuple[str, ...], rely: dict[str, tuple[str, ...]], require: Clause, basics: tuple[Clause, ...], numerics: tuple[tuple[str, ...], ...])

Bases: NamedTuple

Definitions of construction statements.

Create new instance of DefinitionJGEX(declare, rely, require, basics, numerics)

declare: tuple[str, ...]

Alias for field number 0

rely: dict[str, tuple[str, ...]]

Alias for field number 1

require: Clause

Alias for field number 2

basics: tuple[Clause, ...]

Alias for field number 3

numerics: tuple[tuple[str, ...], ...]

Alias for field number 4

classmethod parse_txt_file(fname)

Return type:

list[DefinitionJGEX]

classmethod parse_text(text)

Return type:

list[DefinitionJGEX]

classmethod from_str(s)

Load the definition from a str object.

Return type:

DefinitionJGEX

classmethod to_dict(defs)

Return type:

dict[str, DefinitionJGEX]