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
I
INNERMOST
- Static variable in interface dpvis.datastructures.
Strategy
instantiate(Substitution)
- Method in interface dpvis.datastructures.
Term
Instantiates the term with the given substitution.
isComplete()
- Method in interface dpvis.dpProcessor.
DPProcessor
Specifies whether a dependency processor is complete, i.e.
isConditional()
- Method in interface dpvis.datastructures.
RewriteSystem
Computes whether the rewrite system is conditional, i.e.
isConditional()
- Method in interface dpvis.datastructures.
Rule
Computes whether the rule is a conditional one.
isForbidden()
- Method in interface dpvis.datastructures.
Term
Gets the
forbidden
flag of this term.
isLinear()
- Method in interface dpvis.datastructures.
Term
Computes whether this term is linear, i.e. does not contain multiple occurrences of the same variable.
isNarrowable(RewriteSystem)
- Method in interface dpvis.datastructures.
Term
Checks whether this term or one of its allowed (according to the
forbidden
flags) subterms can be narrowed according to the given Rewrite System R.
isProperSubterm(Term)
- Method in interface dpvis.datastructures.
Term
Checks if the given term is a proper subterm of this term.
isStronglyConservative(Rule)
- Static method in class dpvis.dpProcessor.
AbstractCSProcessor
isSubterm(Term)
- Method in interface dpvis.datastructures.
Term
Checks if the given term is a (not necessarily proper) subterm of this term.
isVariable()
- Method in interface dpvis.datastructures.
Term
Gets the
variable
flag of this term.
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