Skip navigation links
A C D E F G H I L M N O P R S T V 

A

add(PrologTerm) - Method in class de.prob.prolog.term.ListPrologTerm
 
add(int, PrologTerm) - Method in class de.prob.prolog.term.ListPrologTerm
 
addAll(Collection<? extends PrologTerm>) - Method in class de.prob.prolog.term.ListPrologTerm
 
addAll(int, Collection<? extends PrologTerm>) - Method in class de.prob.prolog.term.ListPrologTerm
 
anon() - Method in class de.prob.prolog.match.PrologMatch
 
anonAtom(String) - Static method in class de.prob.prolog.match.PrologTermMatch
 
anonInt(BigInteger) - Static method in class de.prob.prolog.match.PrologIntegerMatch
 
anonInt(long) - Static method in class de.prob.prolog.match.PrologIntegerMatch
 
anonInt() - Static method in class de.prob.prolog.match.PrologIntegerMatch
 
anonList(int) - Static method in class de.prob.prolog.match.PrologListMatch
 
anonList() - Static method in class de.prob.prolog.match.PrologListMatch
 
anonTerm() - Static method in class de.prob.prolog.match.PrologTermMatch
 
anonTerm(String, PrologMatch[]) - Static method in class de.prob.prolog.match.PrologTermMatch
 
anonTerm(String, int) - Static method in class de.prob.prolog.match.PrologTermMatch
 
anonTerm(String) - Static method in class de.prob.prolog.match.PrologTermMatch
 
anonVar(String) - Static method in class de.prob.prolog.match.PrologVariableMatch
 
anonVar() - Static method in class de.prob.prolog.match.PrologVariableMatch
 
arguments - Variable in class de.prob.prolog.term.PrologTerm
 
atomicString(PrologTerm) - Static method in class de.prob.prolog.term.PrologTerm
 
atomicStrings(Iterable<PrologTerm>) - Static method in class de.prob.prolog.term.PrologTerm
 

C

clear() - Method in class de.prob.prolog.term.ListPrologTerm
 
clearSentences() - Method in class de.prob.prolog.output.StructuredPrologOutput
 
closeList() - Method in class de.prob.prolog.output.DummyPrologOutput
 
closeList() - Method in interface de.prob.prolog.output.IPrologTermOutput
Finish a list that was started with IPrologTermOutput.openList().
closeList() - Method in class de.prob.prolog.output.PrologTermDelegate
 
closeList() - Method in class de.prob.prolog.output.PrologTermOutput
 
closeList() - Method in class de.prob.prolog.output.StructuredPrologOutput
 
closeTerm() - Method in class de.prob.prolog.output.DummyPrologOutput
 
closeTerm() - Method in interface de.prob.prolog.output.IPrologTermOutput
Finish a term that was started with IPrologTermOutput.openTerm(String).
closeTerm() - Method in class de.prob.prolog.output.PrologTermDelegate
 
closeTerm() - Method in class de.prob.prolog.output.PrologTermOutput
 
closeTerm() - Method in class de.prob.prolog.output.StructuredPrologOutput
 
CompoundPrologTerm - Class in de.prob.prolog.term
Represents a prolog term that consists of a functor and an (optional) list of arguments.
CompoundPrologTerm(String, PrologTerm...) - Constructor for class de.prob.prolog.term.CompoundPrologTerm
 
CompoundPrologTerm(String) - Constructor for class de.prob.prolog.term.CompoundPrologTerm
 
contains(Object) - Method in class de.prob.prolog.term.ListPrologTerm
 
containsAll(Collection<?>) - Method in class de.prob.prolog.term.ListPrologTerm
 

D

de.prob.prolog.match - package de.prob.prolog.match
 
de.prob.prolog.output - package de.prob.prolog.output
 
de.prob.prolog.term - package de.prob.prolog.term
 
DUMMY - Static variable in class de.prob.prolog.output.DummyPrologOutput
 
DummyPrologOutput - Class in de.prob.prolog.output
An implementation of IPrologTermOutput that does nothing.

E

emptyList() - Method in class de.prob.prolog.output.DummyPrologOutput
 
emptyList() - Method in interface de.prob.prolog.output.IPrologTermOutput
Print an empty list.
emptyList() - Method in class de.prob.prolog.output.PrologTermDelegate
 
emptyList() - Method in class de.prob.prolog.output.PrologTermOutput
 
emptyList() - Method in class de.prob.prolog.output.StructuredPrologOutput
 
emptyList() - Static method in class de.prob.prolog.term.ListPrologTerm
 
equals(Object) - Method in class de.prob.prolog.term.CompoundPrologTerm
 
equals(Object) - Method in class de.prob.prolog.term.IntegerPrologTerm
 
equals(Object) - Method in class de.prob.prolog.term.ListPrologTerm
 
equals(Object) - Method in class de.prob.prolog.term.VariablePrologTerm
 

F

flush() - Method in class de.prob.prolog.output.DummyPrologOutput
 
flush() - Method in interface de.prob.prolog.output.IPrologTermOutput
flush the underlying output stream
flush() - Method in class de.prob.prolog.output.PrologTermDelegate
 
flush() - Method in class de.prob.prolog.output.PrologTermOutput
 
flush() - Method in class de.prob.prolog.output.StructuredPrologOutput
 
fullstop() - Method in class de.prob.prolog.output.DummyPrologOutput
 
fullstop() - Method in interface de.prob.prolog.output.IPrologTermOutput
print a Prolog full stop.
fullstop() - Method in class de.prob.prolog.output.PrologTermDelegate
 
fullstop() - Method in class de.prob.prolog.output.PrologTermOutput
 
fullstop() - Method in class de.prob.prolog.output.StructuredPrologOutput
 
functor - Variable in class de.prob.prolog.term.PrologTerm
 

G

get(int) - Method in class de.prob.prolog.term.ListPrologTerm
 
getArgument(int) - Method in class de.prob.prolog.term.PrologTerm
Gets an argument by its index.
getArity() - Method in class de.prob.prolog.term.PrologTerm
 
getFunctor() - Method in class de.prob.prolog.term.PrologTerm
 
getMatches(PrologTerm) - Method in class de.prob.prolog.match.PrologMatch
 
getName() - Method in class de.prob.prolog.term.VariablePrologTerm
 
getPrologTermOutput() - Method in class de.prob.prolog.output.PrologTermStringOutput
 
getSentences() - Method in class de.prob.prolog.output.StructuredPrologOutput
 
getValue() - Method in class de.prob.prolog.term.IntegerPrologTerm
 

H

hasFunctor(String, int) - Method in class de.prob.prolog.term.CompoundPrologTerm
 
hasFunctor(String, int) - Method in class de.prob.prolog.term.PrologTerm
 
hashCode() - Method in class de.prob.prolog.term.CompoundPrologTerm
 
hashCode() - Method in class de.prob.prolog.term.IntegerPrologTerm
 
hashCode() - Method in class de.prob.prolog.term.ListPrologTerm
 
hashCode() - Method in class de.prob.prolog.term.VariablePrologTerm
 
head() - Method in class de.prob.prolog.term.ListPrologTerm
 

I

indexOf(Object) - Method in class de.prob.prolog.term.ListPrologTerm
 
IntegerPrologTerm - Class in de.prob.prolog.term
Represents a Prolog integer.
IntegerPrologTerm(BigInteger) - Constructor for class de.prob.prolog.term.IntegerPrologTerm
 
IntegerPrologTerm(long) - Constructor for class de.prob.prolog.term.IntegerPrologTerm
 
IntegerPrologTerm(byte[]) - Constructor for class de.prob.prolog.term.IntegerPrologTerm
 
IPrologTermOutput - Interface in de.prob.prolog.output
 
isAtom() - Method in class de.prob.prolog.term.CompoundPrologTerm
 
isAtom() - Method in class de.prob.prolog.term.PrologTerm
 
isEmpty() - Method in class de.prob.prolog.term.ListPrologTerm
 
isList() - Method in class de.prob.prolog.term.ListPrologTerm
 
isList() - Method in class de.prob.prolog.term.PrologTerm
 
isMatch(PrologTerm, Map<String, PrologTerm>) - Method in class de.prob.prolog.match.PrologIntegerMatch
 
isMatch(PrologTerm, Map<String, PrologTerm>) - Method in class de.prob.prolog.match.PrologListMatch
 
isMatch(PrologTerm, Map<String, PrologTerm>) - Method in class de.prob.prolog.match.PrologMatch
 
isMatch(PrologTerm, Map<String, PrologTerm>) - Method in class de.prob.prolog.match.PrologTermMatch
 
isMatch(PrologTerm, Map<String, PrologTerm>) - Method in class de.prob.prolog.match.PrologVariableMatch
 
isNumber() - Method in class de.prob.prolog.term.IntegerPrologTerm
 
isNumber() - Method in class de.prob.prolog.term.PrologTerm
 
isSentenceStarted() - Method in class de.prob.prolog.output.StructuredPrologOutput
 
isTerm() - Method in class de.prob.prolog.term.CompoundPrologTerm
 
isTerm() - Method in class de.prob.prolog.term.PrologTerm
 
isVariable() - Method in class de.prob.prolog.term.PrologTerm
 
isVariable() - Method in class de.prob.prolog.term.VariablePrologTerm
 
iterator() - Method in class de.prob.prolog.term.ListPrologTerm
 

L

lastIndexOf(Object) - Method in class de.prob.prolog.term.ListPrologTerm
 
listIterator() - Method in class de.prob.prolog.term.ListPrologTerm
 
listIterator(int) - Method in class de.prob.prolog.term.ListPrologTerm
 
ListPrologTerm - Class in de.prob.prolog.term
Represents a Prolog list.
ListPrologTerm(PrologTerm...) - Constructor for class de.prob.prolog.term.ListPrologTerm
 
ListPrologTerm(int, int, ListPrologTerm) - Constructor for class de.prob.prolog.term.ListPrologTerm
 

M

matches(PrologTerm, Map<String, PrologTerm>) - Method in class de.prob.prolog.match.PrologMatch
 
matches(PrologTerm) - Method in class de.prob.prolog.match.PrologMatch
 

N

named(String) - Method in class de.prob.prolog.match.PrologMatch
 
namedAtom(String, String) - Static method in class de.prob.prolog.match.PrologTermMatch
 
namedInt(String, BigInteger) - Static method in class de.prob.prolog.match.PrologIntegerMatch
 
namedInt(String, long) - Static method in class de.prob.prolog.match.PrologIntegerMatch
 
namedInt(String) - Static method in class de.prob.prolog.match.PrologIntegerMatch
 
namedList(String, int) - Static method in class de.prob.prolog.match.PrologListMatch
 
namedList(String) - Static method in class de.prob.prolog.match.PrologListMatch
 
namedTerm(String) - Static method in class de.prob.prolog.match.PrologTermMatch
 
namedTerm(String, String, PrologMatch[]) - Static method in class de.prob.prolog.match.PrologTermMatch
 
namedTerm(String, String, int) - Static method in class de.prob.prolog.match.PrologTermMatch
 
namedTerm(String, String) - Static method in class de.prob.prolog.match.PrologTermMatch
 
namedVar(String, String) - Static method in class de.prob.prolog.match.PrologVariableMatch
 
namedVar(String) - Static method in class de.prob.prolog.match.PrologVariableMatch
 

O

openList() - Method in class de.prob.prolog.output.DummyPrologOutput
 
openList() - Method in interface de.prob.prolog.output.IPrologTermOutput
Start a new list.
openList() - Method in class de.prob.prolog.output.PrologTermDelegate
 
openList() - Method in class de.prob.prolog.output.PrologTermOutput
 
openList() - Method in class de.prob.prolog.output.StructuredPrologOutput
 
openTerm(String) - Method in class de.prob.prolog.output.DummyPrologOutput
 
openTerm(String, boolean) - Method in class de.prob.prolog.output.DummyPrologOutput
 
openTerm(String) - Method in interface de.prob.prolog.output.IPrologTermOutput
Start a new term.
openTerm(String, boolean) - Method in interface de.prob.prolog.output.IPrologTermOutput
Start a new term.
openTerm(String) - Method in class de.prob.prolog.output.PrologTermDelegate
 
openTerm(String, boolean) - Method in class de.prob.prolog.output.PrologTermDelegate
 
openTerm(String) - Method in class de.prob.prolog.output.PrologTermOutput
 
openTerm(String, boolean) - Method in class de.prob.prolog.output.PrologTermOutput
 
openTerm(String) - Method in class de.prob.prolog.output.StructuredPrologOutput
 
openTerm(String, boolean) - Method in class de.prob.prolog.output.StructuredPrologOutput
 

P

printAtom(String) - Method in class de.prob.prolog.output.DummyPrologOutput
 
printAtom(String) - Method in interface de.prob.prolog.output.IPrologTermOutput
Print an atom.
printAtom(String) - Method in class de.prob.prolog.output.PrologTermDelegate
 
printAtom(String) - Method in class de.prob.prolog.output.PrologTermOutput
 
printAtom(String) - Method in class de.prob.prolog.output.StructuredPrologOutput
 
printAtomOrNumber(String) - Method in class de.prob.prolog.output.DummyPrologOutput
 
printAtomOrNumber(String) - Method in interface de.prob.prolog.output.IPrologTermOutput
Print an atom or number.
printAtomOrNumber(String) - Method in class de.prob.prolog.output.PrologTermDelegate
 
printAtomOrNumber(String) - Method in class de.prob.prolog.output.PrologTermOutput
 
printAtomOrNumber(String) - Method in class de.prob.prolog.output.StructuredPrologOutput
 
printNumber(long) - Method in class de.prob.prolog.output.DummyPrologOutput
 
printNumber(BigInteger) - Method in class de.prob.prolog.output.DummyPrologOutput
 
printNumber(long) - Method in interface de.prob.prolog.output.IPrologTermOutput
Print a number.
printNumber(BigInteger) - Method in interface de.prob.prolog.output.IPrologTermOutput
Print a number.
printNumber(long) - Method in class de.prob.prolog.output.PrologTermDelegate
 
printNumber(BigInteger) - Method in class de.prob.prolog.output.PrologTermDelegate
 
printNumber(long) - Method in class de.prob.prolog.output.PrologTermOutput
 
printNumber(BigInteger) - Method in class de.prob.prolog.output.PrologTermOutput
 
printNumber(long) - Method in class de.prob.prolog.output.StructuredPrologOutput
 
printNumber(BigInteger) - Method in class de.prob.prolog.output.StructuredPrologOutput
 
printString(String) - Method in class de.prob.prolog.output.DummyPrologOutput
 
printString(String) - Method in interface de.prob.prolog.output.IPrologTermOutput
Print a string.
printString(String) - Method in class de.prob.prolog.output.PrologTermDelegate
 
printString(String) - Method in class de.prob.prolog.output.PrologTermOutput
 
printString(String) - Method in class de.prob.prolog.output.StructuredPrologOutput
 
printTerm(PrologTerm) - Method in class de.prob.prolog.output.DummyPrologOutput
 
printTerm(PrologTerm) - Method in interface de.prob.prolog.output.IPrologTermOutput
Print a complete Term.
printTerm(PrologTerm) - Method in class de.prob.prolog.output.PrologTermDelegate
 
printTerm(PrologTerm) - Method in class de.prob.prolog.output.PrologTermOutput
 
printTerm(PrologTerm) - Method in class de.prob.prolog.output.StructuredPrologOutput
 
printVariable(String) - Method in class de.prob.prolog.output.DummyPrologOutput
 
printVariable(String) - Method in interface de.prob.prolog.output.IPrologTermOutput
Print a Prolog variable.
printVariable(String) - Method in class de.prob.prolog.output.PrologTermDelegate
 
printVariable(String) - Method in class de.prob.prolog.output.PrologTermOutput
 
printVariable(String) - Method in class de.prob.prolog.output.StructuredPrologOutput
 
PrologIntegerMatch - Class in de.prob.prolog.match
Matches an integer, provides the found integer as BigInt
PrologListMatch - Class in de.prob.prolog.match
Matches on a list with optional given length, provides direct access to the list.
PrologMatch - Class in de.prob.prolog.match
This class and its subclasses are used to do pattern-matching on Prolog terms.
PrologMatch(String) - Constructor for class de.prob.prolog.match.PrologMatch
 
PrologTerm - Class in de.prob.prolog.term
This is the abstract base class for Prolog terms
PrologTerm(String, PrologTerm...) - Constructor for class de.prob.prolog.term.PrologTerm
 
PrologTermDelegate - Class in de.prob.prolog.output
 
PrologTermDelegate(IPrologTermOutput) - Constructor for class de.prob.prolog.output.PrologTermDelegate
 
PrologTermMatch - Class in de.prob.prolog.match
Matches on compound Prolog terms.
PrologTermOutput - Class in de.prob.prolog.output
Helper class to generate Prolog terms.
PrologTermOutput(PrintWriter, boolean) - Constructor for class de.prob.prolog.output.PrologTermOutput
 
PrologTermOutput(PrintWriter) - Constructor for class de.prob.prolog.output.PrologTermOutput
 
PrologTermOutput(OutputStream, boolean) - Constructor for class de.prob.prolog.output.PrologTermOutput
 
PrologTermOutput(OutputStream) - Constructor for class de.prob.prolog.output.PrologTermOutput
 
PrologTermStringOutput - Class in de.prob.prolog.output
This class encapsulates the process of creating a Prolog Term as a String.
PrologTermStringOutput() - Constructor for class de.prob.prolog.output.PrologTermStringOutput
 
PrologVariableMatch - Class in de.prob.prolog.match
Matches a Prolog variable.
pto - Variable in class de.prob.prolog.output.PrologTermDelegate
 

R

remove(Object) - Method in class de.prob.prolog.term.ListPrologTerm
 
remove(int) - Method in class de.prob.prolog.term.ListPrologTerm
 
removeAll(Collection<?>) - Method in class de.prob.prolog.term.ListPrologTerm
 
retainAll(Collection<?>) - Method in class de.prob.prolog.term.ListPrologTerm
 

S

set(int, PrologTerm) - Method in class de.prob.prolog.term.ListPrologTerm
 
size() - Method in class de.prob.prolog.term.ListPrologTerm
 
StructuredPrologOutput - Class in de.prob.prolog.output
 
StructuredPrologOutput() - Constructor for class de.prob.prolog.output.StructuredPrologOutput
 
subList(int, int) - Method in class de.prob.prolog.term.ListPrologTerm
 

T

tail() - Method in class de.prob.prolog.term.ListPrologTerm
 
toArray() - Method in class de.prob.prolog.term.ListPrologTerm
 
toArray(T[]) - Method in class de.prob.prolog.term.ListPrologTerm
 
toString() - Method in class de.prob.prolog.output.PrologTermStringOutput
 
toString() - Method in class de.prob.prolog.term.PrologTerm
 
toTermOutput(IPrologTermOutput) - Method in class de.prob.prolog.term.CompoundPrologTerm
 
toTermOutput(IPrologTermOutput) - Method in class de.prob.prolog.term.IntegerPrologTerm
 
toTermOutput(IPrologTermOutput) - Method in class de.prob.prolog.term.ListPrologTerm
 
toTermOutput(IPrologTermOutput) - Method in class de.prob.prolog.term.PrologTerm
 
toTermOutput(IPrologTermOutput) - Method in class de.prob.prolog.term.VariablePrologTerm
 

V

VariablePrologTerm - Class in de.prob.prolog.term
Represents a Prolog variable.
VariablePrologTerm(String) - Constructor for class de.prob.prolog.term.VariablePrologTerm
 
A C D E F G H I L M N O P R S T V 
Skip navigation links