A E G I J S T

A

addSubstitutionPair(String, String) - Method in class edu.buffalo.sneps.Substitution

Adds a substitution pair to this substitution of the specified variable and value.

ask(String) - Method in class edu.buffalo.sneps.JavaSnepsAPI

Given a valid ask input, invokes the SNePSLOG ask method on that input.

askifnot(String) - Method in class edu.buffalo.sneps.JavaSnepsAPI

Given a valid ask input, invokes the SNePSLOG askifnot method on that input.

askwh(String) - Method in class edu.buffalo.sneps.JavaSnepsAPI

Given a valid ask input, invokes the SNePSLOG askwh method on that input.

askwhnot(String) - Method in class edu.buffalo.sneps.JavaSnepsAPI

Given a valid ask input, invokes the SNePSLOG askwhnot method on that input.

E

edu.buffalo.sneps - package edu.buffalo.sneps

endLispConnection() - Method in class edu.buffalo.sneps.JavaSnepsAPI

Terminates the Java-Sneps connection.

G

getValFromVar(String) - Method in class edu.buffalo.sneps.Substitution

Returns the value that unifies with the specified variable in this substitution.

I

isConnected() - Method in class edu.buffalo.sneps.JavaSnepsAPI

Returns true if the connection between Java and Sneps is still functioning.

J

JavaSnepsAPI - Class in edu.buffalo.sneps

Class of connections between Java and the SNePS knowledge representation and reasoning system.

JavaSnepsAPI(int) - Constructor for class edu.buffalo.sneps.JavaSnepsAPI

Creates an instance of the JavaSnepsAPI using the specified port.

JavaSnepsAPI(String, int) - Constructor for class edu.buffalo.sneps.JavaSnepsAPI

Creates an instance of the JavaSnepsAPI using the specified port and config_file.

S

Substitution - Class in edu.buffalo.sneps

Represents a substitution (a set of pairs, each of which is a variable and a term).

Substitution(int) - Constructor for class edu.buffalo.sneps.Substitution

Creates an instance of the substitution with the specified capacity (number of substitution pairs).

T

tell(String) - Method in class edu.buffalo.sneps.JavaSnepsAPI

Given a proper command string, invokes the SNePSLOG tell method on that command.

A E G I J S T