Index

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

J

JDBC_ACCESS_DB - Static variable in class com.articulate.sigma.PasswordService

JDBC_CREATE_DB - Static variable in class com.articulate.sigma.PasswordService

JDBCString - Static variable in class com.articulate.sigma.trans.KIF2DB

joinLines(ArrayList<String>) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor

*************************************************************** Join TPTP3 proof statements that are formatted over multiple lines.

joinNreverseInputLines(List<String>) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor

*************************************************************** Join TPTP3 proof statements that are formatted over multiple lines and reverse them for Vampire, which presents proofs in reverse order.

JSONElement() - Constructor for class com.articulate.sigma.dataProc.Hotel.JSONElement

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form