Overview  Package  Class  Use  Tree  Deprecated  Index  Help 
JTP API Documentation
 PREV   NEXT FRAMES    NO FRAMES    

Constant Field Values

Contents
jtp.classifier.*

jtp.classifier.Classifier
protected static final int _CON_PATTERN 1
protected static final int _EMPTY_PATTERN 0
protected static final int _FULL_PATTERN -1
protected static final int _MARKER_SET 0
protected static final int _REL_PATTERN -2147483648
protected static final int _VISITED 1073741824
protected static final int CE 4
protected static final int CGE 2
protected static final int CLE 1
protected static final int CS 8
protected static final int RS 16

jtp.classifier.Kb
public static final int _A_LINK 1
protected static final int _A_TABLE 0
protected static final int _ALL -1
public static final int _C_LINK 2
protected static final int _C_TABLE 1
public static final int _D_LINK 8
protected static final int _D_TABLE 3
protected static final int _EMPTY 0
protected static final int _NKB_MARKER_SET 1
protected static final int _NUM_TABLES 4
public static final int _S_LINK 4
protected static final int _S_TABLE 2
protected static final int _VISITED 1

jtp.classifier.Resource
protected static final int _ALL_BITS_ON -1
protected static final int _NUM_MARKER_SETS 2

jtp.context.*

jtp.context.Configurator
public static final String JTP_CFG_NS "http://ksl.stanford.edu/software/jtp/jtp-config.daml#"

jtp.context.daml.DamlReasoningContext
public static final String DAML_AXIOMATIC_SEMANTICS "http://www.daml.org/2001/03/axiomatic-semantics.html"

jtp.context.owl.OWLReasoningContext
public static final String OWL_REF "http://www.w3.org/2001/sw/WebOnt/"

jtp.context.rdf.RDFReasoningContext
public static final String RDF_REF "http://www.w3.org/RDF/"

jtp.disp.*

jtp.disp.RelationBasedReasoner
public static final int ANY_ARITY -1
public static final int BOTH 0
public static final int NEGATIVE -1
public static final int POSITIVE 1

jtp.disp.SequentialDispatcher
public static final int HEAD_PREFERRED 1
public static final int NO_PREFERENCE 0
public static final int TAIL_PREFERRED -1

jtp.fol.*

jtp.fol.kif.CNFConverterTokenTypes
public static final int And 4
public static final int BIG_COMMENT 40
public static final int CompositeSentence 20
public static final int Defequals 16
public static final int Deffunction 15
public static final int Defimpleft 17
public static final int Defimpright 18
public static final int Defobject 13
public static final int Defrelation 14
public static final int Digit 37
public static final int EOF 1
public static final int Equiv 12
public static final int Exists 7
public static final int FLOAT 24
public static final int Forall 8
public static final int Func 25
public static final int GoodChar 38
public static final int IGNORE 31
public static final int Impleft 10
public static final int Impright 11
public static final int INTEGER 23
public static final int Kb 26
public static final int LINE_COMMENT 39
public static final int LPAREN 27
public static final int Not 6
public static final int NULL_TREE_LOOKAHEAD 3
public static final int Number 34
public static final int Or 5
public static final int PACKAGE_SYMBOL 33
public static final int PackageSign 36
public static final int Quote 9
public static final int RelSentence 19
public static final int RPAREN 29
public static final int SExp 21
public static final int STRING 28
public static final int SYMBOL 32
public static final int SymbolWithoutPackage 35
public static final int VARIABLE 30
public static final int Vars 22
public static final int WS 41

jtp.fol.kif.CodeGeneratorTokenTypes
public static final int And 4
public static final int BIG_COMMENT 40
public static final int CompositeSentence 20
public static final int Defequals 16
public static final int Deffunction 15
public static final int Defimpleft 17
public static final int Defimpright 18
public static final int Defobject 13
public static final int Defrelation 14
public static final int Digit 37
public static final int EOF 1
public static final int Equiv 12
public static final int Exists 7
public static final int FLOAT 24
public static final int Forall 8
public static final int Func 25
public static final int GoodChar 38
public static final int IGNORE 31
public static final int Impleft 10
public static final int Impright 11
public static final int INTEGER 23
public static final int Kb 26
public static final int LINE_COMMENT 39
public static final int LPAREN 27
public static final int Not 6
public static final int NULL_TREE_LOOKAHEAD 3
public static final int Number 34
public static final int Or 5
public static final int PACKAGE_SYMBOL 33
public static final int PackageSign 36
public static final int Quote 9
public static final int RelSentence 19
public static final int RPAREN 29
public static final int SExp 21
public static final int STRING 28
public static final int SYMBOL 32
public static final int SymbolWithoutPackage 35
public static final int VARIABLE 30
public static final int Vars 22
public static final int WS 41

jtp.fol.kif.KIFTokenTypes
public static final int And 4
public static final int BIG_COMMENT 40
public static final int CompositeSentence 20
public static final int Defequals 16
public static final int Deffunction 15
public static final int Defimpleft 17
public static final int Defimpright 18
public static final int Defobject 13
public static final int Defrelation 14
public static final int Digit 37
public static final int EOF 1
public static final int Equiv 12
public static final int Exists 7
public static final int FLOAT 24
public static final int Forall 8
public static final int Func 25
public static final int GoodChar 38
public static final int IGNORE 31
public static final int Impleft 10
public static final int Impright 11
public static final int INTEGER 23
public static final int Kb 26
public static final int LINE_COMMENT 39
public static final int LPAREN 27
public static final int Not 6
public static final int NULL_TREE_LOOKAHEAD 3
public static final int Number 34
public static final int Or 5
public static final int PACKAGE_SYMBOL 33
public static final int PackageSign 36
public static final int Quote 9
public static final int RelSentence 19
public static final int RPAREN 29
public static final int SExp 21
public static final int STRING 28
public static final int SYMBOL 32
public static final int SymbolWithoutPackage 35
public static final int VARIABLE 30
public static final int Vars 22
public static final int WS 41

jtp.fol.kif.SimplifierTokenTypes
public static final int And 4
public static final int BIG_COMMENT 40
public static final int CompositeSentence 20
public static final int Defequals 16
public static final int Deffunction 15
public static final int Defimpleft 17
public static final int Defimpright 18
public static final int Defobject 13
public static final int Defrelation 14
public static final int Digit 37
public static final int EOF 1
public static final int Equiv 12
public static final int Exists 7
public static final int FLOAT 24
public static final int Forall 8
public static final int Func 25
public static final int GoodChar 38
public static final int IGNORE 31
public static final int Impleft 10
public static final int Impright 11
public static final int INTEGER 23
public static final int Kb 26
public static final int LINE_COMMENT 39
public static final int LPAREN 27
public static final int Not 6
public static final int NULL_TREE_LOOKAHEAD 3
public static final int Number 34
public static final int Or 5
public static final int PACKAGE_SYMBOL 33
public static final int PackageSign 36
public static final int Quote 9
public static final int RelSentence 19
public static final int RPAREN 29
public static final int SExp 21
public static final int STRING 28
public static final int SYMBOL 32
public static final int SymbolWithoutPackage 35
public static final int VARIABLE 30
public static final int Vars 22
public static final int WS 41

jtp.frame.*

jtp.frame.vocab.DAML
public static final String DAML_URI "http://www.daml.org/2001/03/daml+oil#"

jtp.frame.vocab.OWL
public static final String OWL_URI "http://www.w3.org/2002/07/owl#"

jtp.frame.vocab.RDF
public static final String RDF_URI "http://www.w3.org/1999/02/22-rdf-syntax-ns#"

jtp.frame.vocab.RDFS
public static final String RDFS_URI "http://www.w3.org/2000/01/rdf-schema#"

jtp.proof.*

jtp.proof.transform.ProofTransformingEngine
public static final int MAX_ITERATIONS 1000

jtp.time.*

jtp.time.tlgraph.Relations
public static final byte AFTER 4
public static final byte AFTER_EQUAL 6
public static final byte ANY_REL 7
public static final byte BEFORE 1
public static final byte BEFORE_EQUAL 3
public static final byte EQUAL 2
public static final byte NO_REL 0
public static final byte NOT_EQUAL 5
public static final byte NULL_REL -1

jtp.ui.*

jtp.ui.rs.RSBrowser
public static final String ALL_VARS_TITLE "All variables"

jtp.util.*

jtp.util.RDFObjectFactory
public static final String JAVA_NS "http://ksl.stanford.edu/software/jtp/java-config.daml#"

Overview  Package  Class  Use  Tree  Deprecated  Index  Help 
JTP API Documentation
 PREV   NEXT FRAMES    NO FRAMES