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

## Package edu.buffalo.sneps

Class Summary
JavaSnepsAPI | Class of connections between Java and the SNePS knowledge representation and reasoning system.
Substitution | Represents a substitution (a set of pairs, each of which is a variable and a term).

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