Package org.tweetyproject.web.services
Class InconsistencyMeasurementService
java.lang.Object
org.tweetyproject.web.services.InconsistencyMeasurementService
Inconsistency measurement service.
-
Field Summary
Modifier and TypeFieldDescriptionstatic String
The identifier of this service.static Solver
The integer linear optimization solver configured for this service.static String
Attribute "cmd" of queries referring to the requested command.static String
Attribute "email" of queries/replies, used for identification and logging purposes.static String
Attribute "error" of replies giving some explanation of an error.static String
Attribute "format" of queries requesting a specific inconsistency value.static String
Attribute "formats" of replies, used for listing all available kb formats.static String
Attribute "id" of replies to list queriesstatic String
Attribute "kb" of queries requesting a specific inconsistency value.static String
Attribute "label" of replies to list queriesstatic String
Attribute "measure" of queries requesting a specific inconsistency value.static String
Attribute "measures" of replies, used for listing all available inconsistency measures.static String
Attribute "reply" of replies referring to the reply type (same values as "cmd").static String
Attribute "time" of replies containing the time needed to compute the value.static String
Attribute "value" of replies containing the requested inconsistency value.static String
"list inconsistency measures" command.static String
"get inconsistency value" command.static Solver
The linear optimization solver configured for this service.static AbstractMusEnumerator<PlFormula>
The MUS enumerator configured for this service.static SatSolver
The SAT solver configured for this service.static long
Time out for the update operation (in seconds). -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionhandleRequest(String query)
Handles all requests for the inconsistency measurement service.
-
Field Details
-
ID
The identifier of this service.- See Also:
- Constant Field Values
-
satSolver
The SAT solver configured for this service. -
musEnumerator
The MUS enumerator configured for this service. -
linearSolver
The linear optimization solver configured for this service. -
integerLinearSolver
The integer linear optimization solver configured for this service. -
timeout
public static long timeoutTime out for the update operation (in seconds). -
JSON_ATTR_CMD
Attribute "cmd" of queries referring to the requested command.- See Also:
- Constant Field Values
-
JSON_VAL_VALUE
"get inconsistency value" command.- See Also:
- Constant Field Values
-
JSON_VAL_MEASURES
"list inconsistency measures" command.- See Also:
- Constant Field Values
-
JSON_ATTR_MEASURE
Attribute "measure" of queries requesting a specific inconsistency value.- See Also:
- Constant Field Values
-
JSON_ATTR_FORMAT
Attribute "format" of queries requesting a specific inconsistency value.- See Also:
- Constant Field Values
-
JSON_ATTR_KB
Attribute "kb" of queries requesting a specific inconsistency value.- See Also:
- Constant Field Values
-
JSON_ATTR_VALUE
Attribute "value" of replies containing the requested inconsistency value.- See Also:
- Constant Field Values
-
JSON_ATTR_TIME
Attribute "time" of replies containing the time needed to compute the value.- See Also:
- Constant Field Values
-
JSON_ATTR_ERROR
Attribute "error" of replies giving some explanation of an error.- See Also:
- Constant Field Values
-
JSON_ATTR_REPLY
Attribute "reply" of replies referring to the reply type (same values as "cmd").- See Also:
- Constant Field Values
-
JSON_ATTR_EMAIL
Attribute "email" of queries/replies, used for identification and logging purposes.- See Also:
- Constant Field Values
-
JSON_ATTR_MEASURES
Attribute "measures" of replies, used for listing all available inconsistency measures.- See Also:
- Constant Field Values
-
JSON_ATTR_FORMATS
Attribute "formats" of replies, used for listing all available kb formats.- See Also:
- Constant Field Values
-
JSON_ATTR_ID
Attribute "id" of replies to list queries- See Also:
- Constant Field Values
-
JSON_ATTR_LABEL
Attribute "label" of replies to list queries- See Also:
- Constant Field Values
-
-
Constructor Details
-
InconsistencyMeasurementService
public InconsistencyMeasurementService()Default constructor
-
-
Method Details
-
handleRequest
@POST @Produces("application/json") @Consumes("application/json") public String handleRequest(String query) throws org.codehaus.jettison.json.JSONExceptionHandles all requests for the inconsistency measurement service.- Parameters:
query
- the query- Returns:
- String A serialized JSON containing the reply.
- Throws:
org.codehaus.jettison.json.JSONException
- thrown if something is completely going wrong.
-