3.1.7. DGStrat¶
This section describes two interfaces for the derivation graph strategies; the basic API and an embedded language which is build on the basic API. Usually the embedded strategy language is easiest and sufficient for constructing strategies.
The semantics of the individual strategies are described in Derivation Graph Strategies.
Note that a DGStrat
is a representation of a strategy and must be given to a derivation graph to be evaluated.
3.1.7.1. The Embedded Strategy Language¶
The strategy language is really a collection of proxy classes with a lot of operator overloading, thus the normal syntax and semantics of Python applies.
The following is the grammar for the strategies.
strat ::=strats
strat
">>"strat
rule
"addSubset("graphs
")" "addUniverse("graphs
")" "execute("executeFunc
")" "filterSubset("filterPred
")" "filterUniverse("filterPred
")" "leftPredicate["derivationPred
"]("strat
")" "rightPredicate["derivationPred
"]("strat
")" "repeat" [ "["int
"]" ] "("strat
")" "revive("strat
")"
A strats
must be an iterable of strat
.
A graphs
can either be a single Graph
, an iterable of graphs, or a function taking no arguments and returning a list of graphs.
3.1.7.2. The Basic API¶
3.1.7.2.1. Class DGStratGraphState
¶

class
mod.
DGStratGraphState
¶ This class represents a graph state with a subset \(S\) and a universe \(U\) fulfilling \(S\subseteq U\).

derivationRefs
¶ The references to all derivations in the underlying derivation graph. I.e., some derivations might involve graphs not in the universe.
Type: list of DerivationRef

3.1.7.2.2. Class DGStrat
¶

class
mod.
DGStrat
¶ 
static
makeAddStatic
(onlyUniverse, graphs)¶ Parameters:  onlyUniverse (bool) – if the strategy is Add Universe or Add Subset.
 graphs (list of
Graph
) – the graphs to be added by the strategy.
Returns: an Add Universe strategy if
onlyUniverse
isTrue
, otherwise an Add Subset strategy.Return type:

static
makeAddDynamic
(onlyUniverse, graphsFunc)¶ Parameters:  onlyUniverse (bool) – if the strategy is Add Universe or Add Subset.
 graphsFunc (list of
Graph
()) – a function returning the graphs to be added by the strategy.
Returns: an Add Universe strategy if
onlyUniverse
isTrue
, otherwise an Add Subset strategy.Return type:

static
makeExecute
(func)¶ Parameters: func (void( DGStratGraphState
)) – A function being executed when the strategy is evaluated.Returns: an Execute strategy. Return type: DGStrat

static
makeFilter
(alsoUniverse, p)¶ Parameters:  alsoUniverse (bool) – if the strategy is Filter Universe or Filter Subset.
 p (bool(
Graph
,DGStratGraphState
, bool)) – the filtering predicate being called for each graph in either the subset or the universe. The predicate is called with the graph and the graph state as arguments, and a bool stating whether or not the call is the first in the filtering process.
Returns: a Filter Universe strategy if
onlyUniverse
isTrue
, otherwise a Filter Subset strategy.Return type:

static
makeLeftPredicate
(p, strat)¶ Parameters:  p (bool(
Derivation
)) – the predicate to be called on each candidate derivation. Even though the predicate is called with aDerivation
object, only the left side and the rule of the object is valid.  strat (
DGStrat
) – the substrategy to be evaluated under the constraints of the left predicate.
Returns: a Derivation Predicates strategy.
Return type:  p (bool(

static
makeParallel
(strats)¶ Parameters: strats (list of DGStrat
) – the substrategies to evaluate.Returns: a Parallel strategy. Return type: DGStrat
Raises: LogicError
if strats is empty.

static
makeRepeat
(limit, strat)¶ Parameters:  limit (unsigned int) – the maximum number of iterations.
 strat (
DGStrat
) – the strategy to be repeated.
Returns: a Repeat strategy.
Return type:

static
makeRevive
(strat)¶ Parameters: strat ( DGStrat
) – the strategy to encapsulate.Returns: a Revive strategy. Return type: DGStrat

static
makeRightPredicate
(p, strat)¶ Parameters:  p (bool(
Derivation
)) – the predicate to be called on each candidate derivation.  strat (
DGStrat
) – the substrategy to be evaluated under the constraints of the right predicate.
Returns: a Derivation Predicates strategy.
Return type:  p (bool(

static