Uses of Interface
dpvis.datastructures.Strategy

Packages that use Strategy

dpvis.datastructures
dpvis.datastructures.impl

Uses of Strategy in dpvis.datastructures

Methods in dpvis.datastructures that return Strategy

Strategy

RewriteSystem.getStrategy() Gets the strategy of the rewrite system.

Methods in dpvis.datastructures with parameters of type Strategy

java.util.Set<Pair<Term,Substitution>>	Term.narrow(RewriteSystem trs, int variablePrefixCounter, boolean root, Strategy strat) Computes all (context-sensitive) narrowings of this term and its subterms (or only of the subterms if the root parameter is false) according to the given Rewrite System. the given strategy is used set the forbidden flags of resulting terms.
void	RewriteSystem.setStrategy(Strategy strategy) Sets the strategy of the rewrite system.

Uses of Strategy in dpvis.datastructures.impl

Methods in dpvis.datastructures.impl that return Strategy

static Strategy	DSFactory.createStrategy(int type) Constructs a new Strategy out of the given type.
static Strategy	DSFactory.createStrategy(int type, java.util.Map<java.lang.String,java.util.List<java.lang.Integer>> replacementMap) Constructs a new Strategy out of the given type and replacement map.
static Strategy	DSFactory.createStrategy(Strategy strategy) Creates a deep copy of the given Strategy.
Strategy	RewriteSystemImpl.getStrategy()

Methods in dpvis.datastructures.impl with parameters of type Strategy

static RewriteSystem	DSFactory.createRewriteSystem(java.util.List<Rule> rules, Strategy strategy) Constructs a new Rewrite System out of the given rules and the strategy.
static Strategy	DSFactory.createStrategy(Strategy strategy) Creates a deep copy of the given Strategy.
java.util.Set<Pair<Term,Substitution>>	TermImpl.narrow(RewriteSystem trs, int variablePrefixCounter, boolean root, Strategy strat)
void	RewriteSystemImpl.setStrategy(Strategy strategy)

Constructors in dpvis.datastructures.impl with parameters of type Strategy

RewriteSystemImpl(java.util.List<Rule> rules, Strategy strategy)