Uses of Interface
dpvis.datastructures.RewriteSystem

Packages that use RewriteSystem

dpvis.datastructures
dpvis.datastructures.impl
dpvis.dpProcessor
dpvis.transform

Uses of RewriteSystem in dpvis.datastructures

Methods in dpvis.datastructures that return RewriteSystem

RewriteSystem

DependencyPairProblem.getRewriteSystem() Gets the Rewrite System associated with this DP Problem

Methods in dpvis.datastructures with parameters of type RewriteSystem

boolean	Term.isNarrowable(RewriteSystem sys) Checks whether this term or one of its allowed (according to the forbidden flags) subterms can be narrowed according to the given Rewrite System R.
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	DependencyPairProblem.setRewriteSystem(RewriteSystem rewriteSystem) Sets the Rewrite System for this DP Problem

Uses of RewriteSystem in dpvis.datastructures.impl

Classes in dpvis.datastructures.impl that implement RewriteSystem

class

RewriteSystemImpl

Fields in dpvis.datastructures.impl declared as RewriteSystem

RewriteSystem

DependencyPairProblemImpl.rewriteSystem

Methods in dpvis.datastructures.impl that return RewriteSystem

static RewriteSystem	DSFactory.createRewriteSystem() Constructs a new empty Rewrite System.
static RewriteSystem	DSFactory.createRewriteSystem(java.util.List<Rule> rules) Constructs a new Rewrite System with the given Rules.
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 RewriteSystem	DSFactory.createRewriteSystem(RewriteSystem rs) Creates a deep copy of the given Rewrite System.
RewriteSystem	DependencyPairProblemImpl.getRewriteSystem()

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

static DependencyPairProblem	DSFactory.createDependencyPairProblem(java.util.Set<Rule> dependencyPairs, RewriteSystem rewriteSystem, java.util.Set<java.lang.String> signature) Constructs a new DependencyPairProblem out of the given parameters.
static DependencyPairProblem	DSFactory.createDependencyPairProblem(java.util.Set<Rule> dependencyPairs, RewriteSystem rewriteSystem, java.util.Set<java.lang.String> signature, boolean contextSensitive, boolean minimal, boolean complete) Constructs a new DependencyPairProblem out of the given parameters.
static RewriteSystem	DSFactory.createRewriteSystem(RewriteSystem rs) Creates a deep copy of the given Rewrite System.
boolean	TermImpl.isNarrowable(RewriteSystem sys)
java.util.Set<Pair<Term,Substitution>>	TermImpl.narrow(RewriteSystem trs, int variablePrefixCounter, boolean root, Strategy strat)
void	DependencyPairProblemImpl.setRewriteSystem(RewriteSystem rewriteSystem)

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

DependencyPairProblemImpl(java.util.Set<Rule> dependencyPairs, RewriteSystem rewriteSystem, java.util.Set<java.lang.String> signature)

RewriteSystemImpl(RewriteSystem sys)

Uses of RewriteSystem in dpvis.dpProcessor

Methods in dpvis.dpProcessor with parameters of type RewriteSystem

static java.util.Set<Rule>	AbstractCSProcessor.computeGeneralizedUseableRules(RewriteSystem system, java.util.Set<java.lang.String> definedSymbols) Same as computeUsableRules, except that the depends relation is generalised.
static java.util.Set<Rule>	AbstractProcessor.computeUseableRules(RewriteSystem system, java.util.Set<java.lang.String> definedSymbols) Computes the usable rules for the given function symbols.
static java.util.Set<Rule>	AbstractCSProcessor.computeUseableRules(RewriteSystem system, java.util.Set<java.lang.String> definedSymbols) Computes the usable rules for the given function symbols.

Uses of RewriteSystem in dpvis.transform

Methods in dpvis.transform that return RewriteSystem

RewriteSystem

TrsToTrsTransformation.transform(RewriteSystem trs) Method that transforms a given Rewrite System into another one.

Methods in dpvis.transform with parameters of type RewriteSystem

RewriteSystem

TrsToTrsTransformation.transform(RewriteSystem trs) Method that transforms a given Rewrite System into another one.