A B C D E F G I J L M N O P R S T U V W

A

addLogger(ILogger) - Method in class euler.output.Outputter

This method registers a log listener.

addProofListener(IProof) - Method in class euler.output.Outputter

This method registers a proof listener.

addResultListener(IResult) - Method in class euler.output.Outputter

This method registers a result listener.

applyBuiltin(Euler, Euler, Stack, int, StringBuffer, StringBuffer) - Method in class euler.BuiltinManager

asciiToNative(String) - Static method in class euler.Codd

B

BUILD - Static variable in class euler.Version

build number of this component

BuiltinManager - Class in euler

C

Codd - Class in euler

Codd Webizer.

Codd() - Constructor for class euler.Codd

constructs a web server

CONFIG - Static variable in interface euler.output.ILogger

Configuration - Class in euler

createProofEngine(String[], PrintStream, PrintStream) - Static method in class euler.ProofEngine

createProofEngine method

D

Datatype - Class in euler

Datatype() - Constructor for class euler.Datatype

dir(String) - Static method in class euler.Codd

doProof(String[]) - Static method in class euler.EulerRunner

E

euler - package euler

Euler - Class in euler

Euler proof mechanism.

Euler() - Constructor for class euler.Euler

constructs a proof engine

euler.output - package euler.output

EulerExt - Class in euler

EulerExt() - Constructor for class euler.EulerExt

EulerRunner - Class in euler

EulerRunner() - Constructor for class euler.EulerRunner

execute(long) - Method in class euler.Process

executeProofEngine(Process) - Static method in class euler.ProofEngine

executeProofEngine method

Eye - Class in euler

Deprecated.

Eye() - Constructor for class euler.Eye

Deprecated.

F

FINE - Static variable in interface euler.output.ILogger

FINER - Static variable in interface euler.output.ILogger

FINEST - Static variable in interface euler.output.ILogger

G

getError() - Method in class euler.ProcessErr

getFileList() - Method in class euler.Process

getInstance() - Static method in class euler.BuiltinManager

getInstance() - Static method in class euler.Configuration

getInstance() - Static method in class euler.output.Outputter

This class acts as a singleton.

getInstance() - Static method in class euler.output.StdOutputter

This class acts as a singleton.

getOutput() - Method in class euler.Process

getProofExplanation() - Method in class euler.Configuration

getRunDirectory() - Static method in class euler.Process

getRunLocal() - Method in class euler.Configuration

getSteps() - Method in class euler.Configuration

getThing(JSONObject) - Static method in class euler.Json

getThink() - Method in class euler.Configuration

getTriples(String) - Static method in class euler.Json

getTriples(String) - Static method in class euler.RdfXml

getVersion() - Method in class euler.Configuration

I

ILogger - Interface in euler.output

INFO - Static variable in interface euler.output.ILogger

IProof - Interface in euler.output

IResult - Interface in euler.output

isBuiltin(String) - Method in class euler.BuiltinManager

isRunning() - Method in class euler.Process

isRunning() - Method in class euler.ProcessErr

J

Json - Class in euler

Json() - Constructor for class euler.Json

L

load(String) - Method in class euler.Euler

loads all facts and rules acquired from the RDF URI in that proof engine.

log(String, String, String, int) - Method in interface euler.output.ILogger

This method logs a certain message to a log system

log - Static variable in class euler.output.Outputter

log(String, String, String, int) - Method in class euler.output.Outputter

This method distributes a log message to the different interested log listeners

log(String, String, String, int) - Method in class euler.output.StdOutputter

This method prints a log message on std out

M

main(String[]) - Static method in class euler.Codd

Main method invoked via java euler.Codd

main(String[]) - Static method in class euler.EulerRunner

Main method invoked via java euler.EulerRunner

main(String[]) - Static method in class euler.Eye

Deprecated.

main(String[]) - Static method in class euler.Json

Main method invoked via java euler.Json

main(String[]) - Static method in class euler.output.StdOutputter

main(String[]) - Static method in class euler.ProofEngine

main method

MAJOR - Static variable in class euler.Version

major verion number of this component

memoryPeak() - Static method in class euler.Codd

MINOR - Static variable in class euler.Version

minor version number of this component

N

nativeToAscii(String) - Static method in class euler.Codd

O

Outputter - Class in euler.output

This class manages the output from the euler component.

P

parse() - Method in class euler.Parser

N3 triple parse method

parse(String) - Method in class euler.Parser

N3 node parse method

Parser - Class in euler

N3 parser.

Parser() - Constructor for class euler.Parser

constructs an N3 parser

Parser(String, Vector, Euler, String) - Constructor for class euler.Parser

constructs an N3 parser

prepare() - Method in class euler.Euler

prepares that proof engine

Process - Class in euler

Process(String, String) - Constructor for class euler.Process

Process(String[], String) - Constructor for class euler.Process

Process(String[], String, PrintStream, PrintStream) - Constructor for class euler.Process

ProcessErr - Class in euler

ProcessErr(DataInputStream) - Constructor for class euler.ProcessErr

ProcessErr(DataInputStream, PrintStream) - Constructor for class euler.ProcessErr

ProcessHook - Class in euler

ProcessHook(Process) - Constructor for class euler.ProcessHook

proof(String) - Method in class euler.Euler

proofs a conjunction with that proof engine

proof(String, String) - Method in interface euler.output.IProof

This method reports the proof for a specific test case

proof(String, String) - Method in class euler.output.Outputter

This method reports the proof for a specific test case

proof(String, String) - Method in class euler.output.StdOutputter

This method prints a proof on std out.

ProofEngine - Class in euler

Euler proof engine wrapper

ProofEngine() - Constructor for class euler.ProofEngine

putTriples(String) - Static method in class euler.RdfXml

R

rdfcopy(String[]) - Static method in class euler.RdfXml

RdfXml - Class in euler

RdfXml() - Constructor for class euler.RdfXml

recurse(boolean) - Static method in class euler.Codd

registerBuiltin(String) - Method in class euler.BuiltinManager

releaseInstance() - Static method in class euler.output.Outputter

This method releases the only instance of this class.

releaseInstance() - Static method in class euler.output.StdOutputter

This method releases the only instance of this class.

removeLogger(ILogger) - Method in class euler.output.Outputter

This method unregisters a log listener.

removeProofListener(IProof) - Method in class euler.output.Outputter

This method unregisters a proof listener.

removeResultListener(IResult) - Method in class euler.output.Outputter

This method unregisters a result listener.

result(String, String) - Method in interface euler.output.IResult

This method reports the result of a test case

result(String, String) - Method in class euler.output.Outputter

This method distributes the result of a test case to the different interested listeners.

result(String, String) - Method in class euler.output.StdOutputter

This method prints a result on std out.

run() - Method in class euler.Codd

run() - Method in class euler.Process

run() - Method in class euler.ProcessErr

run() - Method in class euler.ProcessHook

runEye(String[]) - Static method in class euler.Eye

Deprecated.

runEye method

runProofEngine(String[], PrintStream, PrintStream) - Static method in class euler.ProofEngine

runProofEngine method

runProofEngine(String[]) - Static method in class euler.ProofEngine

runProofEngine method

S

setFileList(ArrayList<File>) - Method in class euler.Process

setLogLevel(int) - Method in class euler.output.StdOutputter

setProofExplanation(boolean) - Method in class euler.Configuration

setRunDirectory(String) - Static method in class euler.Process

setRunLocal(boolean) - Method in class euler.Configuration

setSteps(long) - Method in class euler.Configuration

setThink(boolean) - Method in class euler.Configuration

SEVERE - Static variable in interface euler.output.ILogger

Stack - Class in euler

Stack() - Constructor for class euler.Stack

start() - Method in class euler.Process

start() - Method in class euler.ProcessErr

StdOutputter - Class in euler.output

This class redirects all output from euler to standard output

stop() - Method in class euler.Process

T

toString() - Method in class euler.Euler

string represention of this Euler obj

U

urlDecode(String) - Static method in class euler.Codd

urlEncode(String) - Static method in class euler.Codd

V

Version - Class in euler

Version() - Constructor for class euler.Version

W

WARNING - Static variable in interface euler.output.ILogger

A B C D E F G I J L M N O P R S T U V W