concepts.dm.pdsketch.executor.PDSketchSGC#

class PDSketchSGC[source]#

Bases: object

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

Methods

Attributes

__init__(state, goal, constraints)#
Parameters:
Return type:

None

__new__(**kwargs)#
constraints: Sequence[Expression]#
goal: Expression#
state: State#