Uses of Interface
dpvis.datastructures.DependencyPairProblem

Packages that use DependencyPairProblem
dpvis.datastructures.impl   
dpvis.dpProcessor   
 

Uses of DependencyPairProblem in dpvis.datastructures.impl
 

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.
 

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.
 

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.