concepts.pdsketch.executor.PDSketchSGC

class PDSketchSGC

Bases: object

PDSketchSGC(state: concepts.pdsketch.domain.State, goal: concepts.dsl.expression.Expression, constraints: Sequence[concepts.dsl.expression.Expression])

Methods

Attributes

state
goal
constraints

__init__(state, goal, constraints)

Parameters:

• state (State)

• goal (Expression)

• constraints (Sequence[Expression])

Return type:

None

__new__(**kwargs)

constraints: Sequence[Expression]

goal: Expression

state: State