Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
S
SEPARATOR
- Static variable in class dpvis.output.
OutputElement
setConditions(List<Rule>)
- Method in interface dpvis.datastructures.
Rule
Sets the conditions of the rule.
setData(Object)
- Method in class dpvis.output.
OutputElement
setDependencyPairs(Set<Rule>)
- Method in interface dpvis.datastructures.
DependencyPairProblem
Sets the set of Dependency pairs
setDescription(String)
- Method in class dpvis.output.
OutputElement
setForbidden(boolean)
- Method in interface dpvis.datastructures.
Term
Sets the
forbidden
flag of this term.
setFunction(String)
- Method in interface dpvis.datastructures.
Term
Sets the (root) function symbol (or variable) of this term.
setLhs(Term)
- Method in interface dpvis.datastructures.
Rule
Sets the left-hand side of the rule.
setReplacementMap(Map<String, List<Integer>>)
- Method in interface dpvis.datastructures.
Strategy
Sets the replacement map of the strategy.
setRewriteSystem(RewriteSystem)
- Method in interface dpvis.datastructures.
DependencyPairProblem
Sets the Rewrite System for this DP Problem
setRhs(Term)
- Method in interface dpvis.datastructures.
Rule
Sets the right-hand side of the rule.
setRules(List<Rule>)
- Method in interface dpvis.datastructures.
RewriteSystem
Sets the rules of the rewrite system.
setSignature(Set<String>)
- Method in interface dpvis.datastructures.
DependencyPairProblem
Sets the signature specifying those terms whose termination shall be proved.
setStrategy(Strategy)
- Method in interface dpvis.datastructures.
RewriteSystem
Sets the strategy of the rewrite system.
setSubterms(List<Term>)
- Method in interface dpvis.datastructures.
Term
Sets the (immediate) subterms of this term.
setVariable(boolean)
- Method in interface dpvis.datastructures.
Term
Sets the
variable
flag of this term.
setVariables(List<String>)
- Method in interface dpvis.datastructures.
RewriteSystem
Sets those functions that shall be interpreted as variables.
Strategy
- Interface in
dpvis.datastructures
Class modelling a Strategy.
STYLED_PARAGRAPH
- Static variable in class dpvis.output.
OutputElement
Substitution
- Interface in
dpvis.datastructures
Class modelling a Substitution.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U