Graph

class Graph(*args: Any, **kwargs: Any)

Bases: ClosedTermSet[Statement]

Graph (set of statements).

Parameters:

statements – Statements.

children_class

alias of Statement

variable_class

alias of GraphVariable

__init__(*statements: Statement) → None

to_graphviz() → Any

Converts graph to a Graphviz’s graph.

Returns:

Graphviz graph.

class GraphVariable(name: str | None = None, variable_class: type[Variable] | type[Term] | None = None)

Bases: Variable

Graph variable.

Parameters:

name – Name.

object_class

alias of Graph