A C D E F G H I M N O P R S T U W

D

demarkRoot() - Method in class dpvis.datastructures.impl.TermImpl

demarkRoot() - Method in interface dpvis.datastructures.Term

Removes the '#' mark from the root function of this term if it is present.

demarkVariables() - Method in class dpvis.datastructures.impl.TermImpl

demarkVariables() - Method in interface dpvis.datastructures.Term

Clears the variable flags of this term (and all of its subterms).

DEPENDENCY_PAIR_PROBLEM - Static variable in class dpvis.output.OutputElement

DependencyPairProblem - Interface in dpvis.datastructures

Class for storing a single Dependency Pair Problem.

DependencyPairProblemImpl - Class in dpvis.datastructures.impl

DependencyPairProblemImpl(Set<Rule>, RewriteSystem, Set<String>) - Constructor for class dpvis.datastructures.impl.DependencyPairProblemImpl

DependencyPairProblemImpl(DependencyPairProblem) - Constructor for class dpvis.datastructures.impl.DependencyPairProblemImpl

dependencyPairs - Variable in class dpvis.datastructures.impl.DependencyPairProblemImpl

DPProcessor - Interface in dpvis.dpProcessor

Interface for Dependency Pair Processors.

dpvis.datastructures - package dpvis.datastructures

dpvis.datastructures.exceptions - package dpvis.datastructures.exceptions

dpvis.datastructures.impl - package dpvis.datastructures.impl

dpvis.dpProcessor - package dpvis.dpProcessor

dpvis.output - package dpvis.output

dpvis.transform - package dpvis.transform

dpvis.utility - package dpvis.utility

DSFactory - Class in dpvis.datastructures.impl

DSFactory() - Constructor for class dpvis.datastructures.impl.DSFactory