dpvis.datastructures
Interfaces 
DependencyPairProblem
RewriteSystem
Rule
Strategy
Substitution
Term
Classes 
Pair
UtilityFunctions