Uses of Interface
dpvis.datastructures.Rule

Packages that use Rule

dpvis.datastructures
dpvis.datastructures.impl
dpvis.dpProcessor

Uses of Rule in dpvis.datastructures

Methods in dpvis.datastructures that return types with arguments of type Rule

java.util.List<Rule>	Rule.getConditions() Gets the conditions of the rule.
java.util.Set<Rule>	DependencyPairProblem.getDependencyPairs() Gets the set of Dependency Pairs that are contained in this DP problem
java.util.List<Rule>	RewriteSystem.getRules() Gets the rules of the rewrite system.

Method parameters in dpvis.datastructures with type arguments of type Rule

void	Rule.setConditions(java.util.List<Rule> conditions) Sets the conditions of the rule.
void	DependencyPairProblem.setDependencyPairs(java.util.Set<Rule> dependencyPairs) Sets the set of Dependency pairs
void	RewriteSystem.setRules(java.util.List<Rule> rules) Sets the rules of the rewrite system.

Uses of Rule in dpvis.datastructures.impl

Classes in dpvis.datastructures.impl that implement Rule

class

RuleImpl

Fields in dpvis.datastructures.impl with type parameters of type Rule

java.util.Set<Rule>

DependencyPairProblemImpl.dependencyPairs

Methods in dpvis.datastructures.impl that return Rule

static Rule	DSFactory.createRule(Rule rule) Creates a deep copy of the given rule.
static Rule	DSFactory.createRule(Term lhs, Term rhs) Constructs a new unconditional Rule out of the given parameters.
static Rule	DSFactory.createRule(Term lhs, Term rhs, java.util.List<Rule> conditions) Constructs a new conditional Rule out of the given parameters.

Methods in dpvis.datastructures.impl that return types with arguments of type Rule

java.util.List<Rule>	RuleImpl.getConditions()
java.util.Set<Rule>	DependencyPairProblemImpl.getDependencyPairs()
java.util.List<Rule>	RewriteSystemImpl.getRules()

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

static Rule

DSFactory.createRule(Rule rule) Creates a deep copy of the given rule.

Method parameters in dpvis.datastructures.impl with type arguments of type Rule

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(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 Rule	DSFactory.createRule(Term lhs, Term rhs, java.util.List<Rule> conditions) Constructs a new conditional Rule out of the given parameters.
void	RuleImpl.setConditions(java.util.List<Rule> conditions)
void	DependencyPairProblemImpl.setDependencyPairs(java.util.Set<Rule> dependencyPairs)
void	RewriteSystemImpl.setRules(java.util.List<Rule> rules)

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

RuleImpl(Rule rule)

Constructor parameters in dpvis.datastructures.impl with type arguments of type Rule

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

RewriteSystemImpl(java.util.List<Rule> rules)

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

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

RuleImpl(Term lhs, Term rhs, java.util.List<Rule> conditions)

Uses of Rule in dpvis.dpProcessor

Methods in dpvis.dpProcessor that return types with arguments of type Rule

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.

Methods in dpvis.dpProcessor with parameters of type Rule

static boolean

AbstractCSProcessor.isStronglyConservative(Rule r)

Method parameters in dpvis.dpProcessor with type arguments of type Rule

static java.util.Set<java.lang.String>	AbstractProcessor.getDefinedFunctions(java.util.Collection<Rule> rules, java.util.List<java.lang.String> allDefinedFunctions) Gets the defined function symbols that occur in the right hand side of one of the given rules.
static java.util.Set<java.lang.String>	AbstractCSProcessor.getDefinedFunctions(java.util.Collection<Rule> rules, java.util.List<java.lang.String> allDefinedFunctions) Gets the defined function symbols that occur in the right hand side of one of the given rules.
static java.util.Set<java.lang.String>	AbstractCSProcessor.getForbiddenFunctions(java.util.Collection<Rule> rules)