Uses of Interface
dpvis.datastructures.DependencyPairProblem

Packages that use DependencyPairProblem

dpvis.datastructures.impl
dpvis.dpProcessor
dpvis.utility

Uses of DependencyPairProblem in dpvis.datastructures.impl

Classes in dpvis.datastructures.impl that implement DependencyPairProblem

class

DependencyPairProblemImpl

Methods in dpvis.datastructures.impl that return DependencyPairProblem

static DependencyPairProblem	DSFactory.createDependencyPairProblem(DependencyPairProblem dp) Creates a deep copy out of the given Dependency Pair Problem.
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.

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

static DependencyPairProblem

DSFactory.createDependencyPairProblem(DependencyPairProblem dp) Creates a deep copy out of the given Dependency Pair Problem.

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

DependencyPairProblemImpl(DependencyPairProblem dp)

Uses of DependencyPairProblem in dpvis.dpProcessor

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

java.util.Set<DependencyPairProblem>

DPProcessor.process(DependencyPairProblem prob) Method to process a dependency pair problem.

Methods in dpvis.dpProcessor with parameters of type DependencyPairProblem

java.util.Set<DependencyPairProblem>

DPProcessor.process(DependencyPairProblem prob) Method to process a dependency pair problem.

Uses of DependencyPairProblem in dpvis.utility

Method parameters in dpvis.utility with type arguments of type DependencyPairProblem

double

ProblemEvaluator.weighProblem(java.util.Collection<DependencyPairProblem> problem) Determines the weight of a dependency pair problem, a smaller number is "better" than a larger.