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:
state (State)
goal (Expression)
constraints (Sequence[Expression])
- Return type:
None
- __new__(**kwargs)#
- constraints: Sequence[Expression]#
- goal: Expression#