JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
$
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
V
P
parseEquation(Reader, Reader, EquationSystem<T>, int)
- Method in class at.jku.risc.stout.hoau.data.
InputParser
parseEquationSystem(String, EquationSystem<T>, int)
- Method in class at.jku.risc.stout.hoau.data.
InputParser
Parses a string and puts all the equations into the given equation system.
parseSequence(String)
- Method in class at.jku.risc.stout.hoau.data.
InputParser
Use
InputParser.parseSequence(Reader)
if possible! It performs better and saves space by reading directly from the data stream;)
parseSequence(Reader)
- Method in class at.jku.risc.stout.hoau.data.
InputParser
Parses a sequence of terms out of the given
Reader
and returns it.
parseTerm(String)
- Method in class at.jku.risc.stout.hoau.data.
InputParser
Use
InputParser.parseTerm(Reader)
if possible! It performs better and saves space by reading directly from the data stream;)
parseTerm(Reader)
- Method in class at.jku.risc.stout.hoau.data.
InputParser
Parses a term out of the given
Reader
and returns it.
PermEquiv
- Class in
at.jku.risc.stout.hoau.algo
This class encapsulates the rule based system
PermEquivSystem
.
PermEquiv(EquationSystem<PermEquivProblem>, Set<Variable>, Set<Variable>)
- Constructor for class at.jku.risc.stout.hoau.algo.
PermEquiv
Creates and initializes the encapsulated rule based system
PermEquivSystem
with the given equation system, domain and range.
PermEquivProblem
- Class in
at.jku.risc.stout.hoau.algo
This class represents a matching problem of two
TermNode
s.
PermEquivProblem()
- Constructor for class at.jku.risc.stout.hoau.algo.
PermEquivProblem
PermEquivSystem
- Class in
at.jku.risc.stout.hoau.algo
This class represents a rule based system for computing a bijection by variable permutation between two terms.
PermEquivSystem()
- Constructor for class at.jku.risc.stout.hoau.algo.
PermEquivSystem
PermEquivSystem(EquationSystem<PermEquivProblem>)
- Constructor for class at.jku.risc.stout.hoau.algo.
PermEquivSystem
popFirst()
- Method in class at.jku.risc.stout.hoau.data.
EquationSystem
Retrieves and removes the first element of this system of equations or returns null if it is empty.
popHedge()
- Method in class at.jku.risc.stout.hoau.data.
NodeFactory
popLambda(Hedge)
- Method in class at.jku.risc.stout.hoau.data.
NodeFactory
popLast()
- Method in class at.jku.risc.stout.hoau.data.
EquationSystem
Retrieves and removes the last element of this system of equations or returns null if it is empty.
PREFIX_Constant
- Static variable in class at.jku.risc.stout.hoau.data.
NodeFactory
PREFIX_FreshBoundVar
- Static variable in class at.jku.risc.stout.hoau.data.
NodeFactory
PREFIX_FreshFreeVar
- Static variable in class at.jku.risc.stout.hoau.data.
NodeFactory
PREFIX_Function
- Static variable in class at.jku.risc.stout.hoau.data.
NodeFactory
PREFIX_IndividualVar
- Static variable in class at.jku.risc.stout.hoau.data.
NodeFactory
PREFIX_Lambda
- Static variable in class at.jku.risc.stout.hoau.data.
NodeFactory
print(Writer)
- Method in class at.jku.risc.stout.hoau.data.atom.
BoundVariable
print(Writer)
- Method in class at.jku.risc.stout.hoau.data.atom.
Function
print(Writer)
- Method in class at.jku.risc.stout.hoau.data.atom.
Lambda
print(Writer)
- Method in class at.jku.risc.stout.hoau.data.atom.
Variable
print(Writer)
- Method in class at.jku.risc.stout.hoau.data.
Hedge
print(Writer, TermAtom, boolean)
- Method in class at.jku.risc.stout.hoau.data.
Hedge
print(Writer)
- Method in class at.jku.risc.stout.hoau.data.
LambdaHedge
print(Writer, boolean)
- Method in class at.jku.risc.stout.hoau.data.
LambdaHedge
print(Writer, TermAtom, boolean)
- Method in class at.jku.risc.stout.hoau.data.
LambdaHedge
print(Writer)
- Method in class at.jku.risc.stout.hoau.data.
TermNode
print(Writer)
- Method in class at.jku.risc.stout.hoau.util.
Printable
PRINT_EQ_SEPARATOR
- Static variable in class at.jku.risc.stout.hoau.algo.
AntiUnifyProblem
PRINT_ORIGIN_NAME
- Static variable in class at.jku.risc.stout.hoau.data.atom.
BoundVariable
PRINT_PARAM_END
- Static variable in class at.jku.risc.stout.hoau.data.
Hedge
PRINT_PARAM_END
- Static variable in class at.jku.risc.stout.hoau.data.
LambdaHedge
PRINT_PARAM_SEPARATOR
- Static variable in class at.jku.risc.stout.hoau.data.
Hedge
PRINT_PARAM_SEPARATOR
- Static variable in class at.jku.risc.stout.hoau.data.
LambdaHedge
PRINT_PARAM_START
- Static variable in class at.jku.risc.stout.hoau.data.
Hedge
PRINT_PARAM_START
- Static variable in class at.jku.risc.stout.hoau.data.
LambdaHedge
PRINT_VAR_SEPARATOR
- Static variable in class at.jku.risc.stout.hoau.algo.
AntiUnifyProblem
Printable
- Class in
at.jku.risc.stout.hoau.util
Base class which demands a function to print an object representation into an arbitrary
Writer
.
Printable()
- Constructor for class at.jku.risc.stout.hoau.util.
Printable
printState(PrintStream)
- Method in class at.jku.risc.stout.hoau.algo.
PermEquivSystem
printUserFriendly
- Static variable in class at.jku.risc.stout.hoau.data.
TermNode
The user friendly output form transforms lambda hedges to argument lists.
pushHedge(boolean)
- Method in class at.jku.risc.stout.hoau.data.
NodeFactory
Everything what is not an argument list of a static function symbol is a lambda hedge.
pushLambda(String, String)
- Method in class at.jku.risc.stout.hoau.data.
NodeFactory
put(Variable, TermNode)
- Method in class at.jku.risc.stout.hoau.algo.
Substitution
Add a new mapping of the form: Variable -> Term
Beta reduction is triggered automatically.
$
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
V
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes