Static Public Attributes | |
| static final String | CMD_CLOSE = "CLOSE" |
| static final String | CMD_GET = "GET" |
| static final String | CMD_POST = "POST" |
| static final String | DEF_AB_ASSUMPTION = "AB" |
| static final String | DEF_DF_ASSUMPTION = "DF" |
| static final String | DEF_IF_ASSUMPTION = "IF" |
| static final String | DEF_NAB_ASSUMPTION = "NAB" |
| static final int | ERR_BAD_REQUEST = 400 |
| static final int | ERR_ILLEGAL_ASS = 420 |
| static final int | ERR_ILLEGAL_RULE = 410 |
| static final int | ERR_INTERNAL_SERVER_ERROR = 500 |
| static final String | LINE_PREFIX_DE = "DE:" |
| static final String | LINE_PREFIX_DIAG = "DIAG:" |
| static final int | NUM_SUBDBS = 3 |
| static final int | OK = 200 |
| static final String | PARAM_CONSISTENT = "Consistent:" |
| static final String | PARAM_CONTENT_TYPE = "Content-Type:" |
| static final String | PARAM_DISCARD_ORDER_PERMS = "Discard-Order-Perms:" |
| static final String | PARAM_INCL_BETA_DE = "Include-Beta-DEs:" |
| static final String | PARAM_LINE_NUMBER = "Line-Number:" |
| static final String | PARAM_MAX_DF_CHAIN = "Max-DF-Chain:" |
| static final String | PARAM_MAX_DIAG_SIZE = "Max-Diag-Size:" |
| static final String | PARAM_MAX_NUM_DIAG = "Max-Number-Diagnoses:" |
| static final String | PARAM_MERGE_DES = "Merge-DEs:" |
| static final String | PARAM_NUM_DIAG = "Number-Diagnoses:" |
| static final String | PARAM_NUM_DIAGENV = "Number-DEs:" |
| static final String | PARAM_NUM_EDGES = "Number-FDG-Edges:" |
| static final String | PARAM_NUM_NODES = "Number-FDG-Nodes:" |
| static final String | PARAM_NUM_QUERIES = "Number-Queries:" |
| static final String | PARAM_NUM_RULES = "Number-Rules:" |
| static final String | PARAM_NUM_SUBDB_RULES = "Number-SubDB-Rules:" |
| static final String | PARAM_NUM_SUBDBS = "Number-SubDBs:" |
| static final String | PARAM_SUBDB = "SubDB:" |
| static final String | PARAM_USE_FAULT_MODES = "Use-Fault-Modes:" |
| static final String | SEP_ASSUMPTION = ";" |
| static final String | STR_ATP = "ATP" |
| static final String | STR_FDG_EDGE = "=>" |
| static final String | STR_NO = "no" |
| static final String | STR_YES = "yes" |
| static final String | SUBCMD_ADD_FDG_EDGES = "ADD_FDG_EDGES" |
| static final String | SUBCMD_ADD_SENTENCES = "ADD_SENTENCES" |
| static final String | SUBCMD_CONSISTENCIES = "CONSISTENCIES" |
| static final String | SUBCMD_CONSISTENCY = "CONSISTENCY" |
| static final String | SUBCMD_DBCONTENT = "DBCONTENT" |
| static final String | SUBCMD_DBSTATS = "DBSTATS" |
| static final String | SUBCMD_DIAGENV = "DIAG_ENV" |
| static final String | SUBCMD_FDGSTATS = "FDGSTATS" |
| static final String | SUBCMD_MINDIAG = "MIN_DIAG" |
| static final String | SUBCMD_REPLACE_FDG_EDGES = "REPLACE_FDG_EDGES" |
| static final String | SUBCMD_REPLACE_SENTENCES = "REPLACE_SENTENCES" |
| static final String | SUBDB_OBS = "OBS" |
| static final String | SUBDB_SD = "SD" |
| static final String | SUBDB_SDD = "SDD" |
This interface provides constants for the ATP (Assumption-based Theorem-prover Protocol).
These constants are related to the text-based communication protocol ATP. The constants are not documented here, see the documentation of ATP.
Definition at line 38 of file ATPConstants.java.
final String ATPInterface.ATPConstants.CMD_CLOSE = "CLOSE" [static] |
Definition at line 42 of file ATPConstants.java.
final String ATPInterface.ATPConstants.CMD_GET = "GET" [static] |
Definition at line 41 of file ATPConstants.java.
final String ATPInterface.ATPConstants.CMD_POST = "POST" [static] |
Definition at line 40 of file ATPConstants.java.
final String ATPInterface.ATPConstants.DEF_AB_ASSUMPTION = "AB" [static] |
Definition at line 85 of file ATPConstants.java.
final String ATPInterface.ATPConstants.DEF_DF_ASSUMPTION = "DF" [static] |
Definition at line 88 of file ATPConstants.java.
final String ATPInterface.ATPConstants.DEF_IF_ASSUMPTION = "IF" [static] |
Definition at line 87 of file ATPConstants.java.
final String ATPInterface.ATPConstants.DEF_NAB_ASSUMPTION = "NAB" [static] |
Definition at line 86 of file ATPConstants.java.
final int ATPInterface.ATPConstants.ERR_BAD_REQUEST = 400 [static] |
Definition at line 99 of file ATPConstants.java.
final int ATPInterface.ATPConstants.ERR_ILLEGAL_ASS = 420 [static] |
Definition at line 101 of file ATPConstants.java.
final int ATPInterface.ATPConstants.ERR_ILLEGAL_RULE = 410 [static] |
Definition at line 100 of file ATPConstants.java.
final int ATPInterface.ATPConstants.ERR_INTERNAL_SERVER_ERROR = 500 [static] |
Definition at line 102 of file ATPConstants.java.
final String ATPInterface.ATPConstants.LINE_PREFIX_DE = "DE:" [static] |
Definition at line 82 of file ATPConstants.java.
final String ATPInterface.ATPConstants.LINE_PREFIX_DIAG = "DIAG:" [static] |
Definition at line 81 of file ATPConstants.java.
final int ATPInterface.ATPConstants.NUM_SUBDBS = 3 [static] |
Definition at line 93 of file ATPConstants.java.
final int ATPInterface.ATPConstants.OK = 200 [static] |
Definition at line 98 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_CONSISTENT = "Consistent:" [static] |
Definition at line 64 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_CONTENT_TYPE = "Content-Type:" [static] |
Definition at line 56 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_DISCARD_ORDER_PERMS = "Discard-Order-Perms:" [static] |
Definition at line 74 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_INCL_BETA_DE = "Include-Beta-DEs:" [static] |
Definition at line 71 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_LINE_NUMBER = "Line-Number:" [static] |
Definition at line 61 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_MAX_DF_CHAIN = "Max-DF-Chain:" [static] |
Definition at line 70 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_MAX_DIAG_SIZE = "Max-Diag-Size:" [static] |
Definition at line 67 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_MAX_NUM_DIAG = "Max-Number-Diagnoses:" [static] |
Definition at line 68 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_MERGE_DES = "Merge-DEs:" [static] |
Definition at line 73 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_NUM_DIAG = "Number-Diagnoses:" [static] |
Definition at line 65 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_NUM_DIAGENV = "Number-DEs:" [static] |
Definition at line 72 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_NUM_EDGES = "Number-FDG-Edges:" [static] |
Definition at line 60 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_NUM_NODES = "Number-FDG-Nodes:" [static] |
Definition at line 59 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_NUM_QUERIES = "Number-Queries:" [static] |
Definition at line 58 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_NUM_RULES = "Number-Rules:" [static] |
Definition at line 57 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_NUM_SUBDB_RULES = "Number-SubDB-Rules:" [static] |
Definition at line 62 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_NUM_SUBDBS = "Number-SubDBs:" [static] |
Definition at line 63 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_SUBDB = "SubDB:" [static] |
Definition at line 66 of file ATPConstants.java.
final String ATPInterface.ATPConstants.PARAM_USE_FAULT_MODES = "Use-Fault-Modes:" [static] |
Definition at line 69 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SEP_ASSUMPTION = ";" [static] |
Definition at line 91 of file ATPConstants.java.
final String ATPInterface.ATPConstants.STR_ATP = "ATP" [static] |
Definition at line 76 of file ATPConstants.java.
final String ATPInterface.ATPConstants.STR_FDG_EDGE = "=>" [static] |
Definition at line 77 of file ATPConstants.java.
final String ATPInterface.ATPConstants.STR_NO = "no" [static] |
Definition at line 79 of file ATPConstants.java.
final String ATPInterface.ATPConstants.STR_YES = "yes" [static] |
Definition at line 78 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBCMD_ADD_FDG_EDGES = "ADD_FDG_EDGES" [static] |
Definition at line 46 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBCMD_ADD_SENTENCES = "ADD_SENTENCES" [static] |
Definition at line 44 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBCMD_CONSISTENCIES = "CONSISTENCIES" [static] |
Definition at line 49 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBCMD_CONSISTENCY = "CONSISTENCY" [static] |
Definition at line 48 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBCMD_DBCONTENT = "DBCONTENT" [static] |
Definition at line 54 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBCMD_DBSTATS = "DBSTATS" [static] |
Definition at line 52 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBCMD_DIAGENV = "DIAG_ENV" [static] |
Definition at line 51 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBCMD_FDGSTATS = "FDGSTATS" [static] |
Definition at line 53 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBCMD_MINDIAG = "MIN_DIAG" [static] |
Definition at line 50 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBCMD_REPLACE_FDG_EDGES = "REPLACE_FDG_EDGES" [static] |
Definition at line 47 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBCMD_REPLACE_SENTENCES = "REPLACE_SENTENCES" [static] |
Definition at line 45 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBDB_OBS = "OBS" [static] |
Definition at line 95 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBDB_SD = "SD" [static] |
Definition at line 94 of file ATPConstants.java.
final String ATPInterface.ATPConstants.SUBDB_SDD = "SDD" [static] |
Definition at line 96 of file ATPConstants.java.