|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Pair | |
---|---|
dpvis.datastructures | |
dpvis.datastructures.impl | |
dpvis.dpProcessor |
Uses of Pair in dpvis.datastructures |
---|
Methods in dpvis.datastructures that return types with arguments of type Pair | |
---|---|
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>> |
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>> |
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. |
Uses of Pair in dpvis.datastructures.impl |
---|
Methods in dpvis.datastructures.impl that return types with arguments of type Pair | |
---|---|
java.util.Set<Pair<java.lang.String,java.lang.Integer>> |
TermImpl.getAllFunctionSymbolsWithArity()
|
java.util.Set<Pair<java.lang.String,java.lang.Integer>> |
RewriteSystemImpl.getAllFunctionSymbolsWithArity()
|
java.util.Set<Pair<java.lang.String,java.lang.Integer>> |
RuleImpl.getAllFunctionSymbolsWithArity()
|
java.util.Set<Pair<Term,Substitution>> |
TermImpl.narrow(RewriteSystem trs,
int variablePrefixCounter,
boolean root,
Strategy strat)
|
Uses of Pair in dpvis.dpProcessor |
---|
Method parameters in dpvis.dpProcessor with type arguments of type Pair | |
---|---|
protected static java.util.Set<java.util.Map<java.lang.String,java.util.List<java.lang.Integer>>> |
AbstractProcessor.computeAllArgumentFilterings(java.util.List<Pair<java.lang.String,java.lang.Integer>> functions)
Computes all possible argument filterings for the given function symbols. |
protected static java.util.Set<java.util.Map<java.lang.String,java.util.List<java.lang.Integer>>> |
AbstractCSProcessor.computeAllArgumentFilterings(java.util.List<Pair<java.lang.String,java.lang.Integer>> functions)
Computes all possible argument filterings for the given function symbols. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |