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

H

hasConstructorContext(String, List<String>) - Method in class dpvis.datastructures.impl.TermImpl
 
hasConstructorContext(String, List<String>) - Method in interface dpvis.datastructures.Term
Checks whether the given variable occurs only inside constructor-contexts within this term, i.e. the root symbol if each subterm of this term containing the given variable is a constructor.
hashCode() - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl
 
hashCode() - Method in class dpvis.datastructures.impl.RewriteSystemImpl
 
hashCode() - Method in class dpvis.datastructures.impl.RuleImpl
 
hashCode() - Method in class dpvis.datastructures.impl.TermImpl
 
hashCode() - Method in class dpvis.datastructures.Pair
 
HEADLINE1 - Static variable in class dpvis.output.OutputElement
 
HEADLINE2 - Static variable in class dpvis.output.OutputElement
 
HEADLINE3 - Static variable in class dpvis.output.OutputElement
 

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