Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

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

Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES