| Methods in dpvis.datastructures that return types with arguments of type Pair |
java.util.Set<Pair<java.lang.String,java.lang.Integer>> |
Term.getAllFunctionSymbolsWithArity()
Returns all function symbols (not variables) occurring in this term
and its subterms, as pair together with their arities. |
java.util.Set<Pair<java.lang.String,java.lang.Integer>> |
Rule.getAllFunctionSymbolsWithArity()
Gets the list of function symbols of the rule
together with the corresponding arities. |
java.util.Set<Pair<java.lang.String,java.lang.Integer>> |
RewriteSystem.getAllFunctionSymbolsWithArity()
Gets the list of function symbols of the rewrite system
together with the corresponding arities. |
java.util.Set<Pair<Term,Substitution>> |
Term.narrow(RewriteSystem trs,
int variablePrefixCounter,
boolean root,
Strategy strat)
Computes all (context-sensitive) narrowings of this
term and its subterms (or only of the subterms if the root parameter is false)
according to the given Rewrite System. the given strategy is used
set the forbidden flags of resulting terms. |