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

D

demarkRoot() - Method in interface dpvis.datastructures.Term
Removes the '#' mark from the root function of this term if it is present.
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.
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
 
DSFactory - Class in dpvis.datastructures.impl
 
DSFactory() - Constructor for class dpvis.datastructures.impl.DSFactory
 

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