Package net.sf.tweety.web.services
Class InconsistencyMeasurementService
- java.lang.Object
-
- net.sf.tweety.web.services.InconsistencyMeasurementService
-
@Path("incmes") public class InconsistencyMeasurementService extends java.lang.Object
Inconsistency measurement service.
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
ID
The identifier of this service.static Solver
integerLinearSolver
The integer linear optimization solver configured for this service.static java.lang.String
JSON_ATTR_CMD
Attribute "cmd" of queries referring to the requested command.static java.lang.String
JSON_ATTR_EMAIL
Attribute "email" of queries/replies, used for identification and logging purposes.static java.lang.String
JSON_ATTR_ERROR
Attribute "error" of replies giving some explanation of an error.static java.lang.String
JSON_ATTR_FORMAT
Attribute "format" of queries requesting a specific inconsistency value.static java.lang.String
JSON_ATTR_FORMATS
Attribute "formats" of replies, used for listing all available kb formats.static java.lang.String
JSON_ATTR_ID
Attribute "id" of replies to list queriesstatic java.lang.String
JSON_ATTR_KB
Attribute "kb" of queries requesting a specific inconsistency value.static java.lang.String
JSON_ATTR_LABEL
Attribute "label" of replies to list queriesstatic java.lang.String
JSON_ATTR_MEASURE
Attribute "measure" of queries requesting a specific inconsistency value.static java.lang.String
JSON_ATTR_MEASURES
Attribute "measures" of replies, used for listing all available inconsistency measures.static java.lang.String
JSON_ATTR_REPLY
Attribute "reply" of replies referring to the reply type (same values as "cmd").static java.lang.String
JSON_ATTR_TIME
Attribute "time" of replies containing the time needed to compute the value.static java.lang.String
JSON_ATTR_VALUE
Attribute "value" of replies containing the requested inconsistency value.static java.lang.String
JSON_VAL_MEASURES
"list inconsistency measures" command.static java.lang.String
JSON_VAL_VALUE
"get inconsistency value" command.static Solver
linearSolver
The linear optimization solver configured for this service.static AbstractMusEnumerator<PlFormula>
musEnumerator
The MUS enumerator configured for this service.static SatSolver
satSolver
The SAT solver configured for this service.static long
timeout
Time out for the update operation (in seconds).
-
Constructor Summary
Constructors Constructor Description InconsistencyMeasurementService()
Default constructor
-
Method Summary
Modifier and Type Method Description java.lang.String
handleRequest(java.lang.String query)
Handles all requests for the inconsistency measurement service.
-
-
-
Field Detail
-
ID
public static final java.lang.String ID
The identifier of this service.- See Also:
- Constant Field Values
-
satSolver
public static SatSolver satSolver
The SAT solver configured for this service.
-
musEnumerator
public static AbstractMusEnumerator<PlFormula> musEnumerator
The MUS enumerator configured for this service.
-
linearSolver
public static Solver linearSolver
The linear optimization solver configured for this service.
-
integerLinearSolver
public static Solver integerLinearSolver
The integer linear optimization solver configured for this service.
-
timeout
public static long timeout
Time out for the update operation (in seconds).
-
JSON_ATTR_CMD
public static final java.lang.String JSON_ATTR_CMD
Attribute "cmd" of queries referring to the requested command.- See Also:
- Constant Field Values
-
JSON_VAL_VALUE
public static final java.lang.String JSON_VAL_VALUE
"get inconsistency value" command.- See Also:
- Constant Field Values
-
JSON_VAL_MEASURES
public static final java.lang.String JSON_VAL_MEASURES
"list inconsistency measures" command.- See Also:
- Constant Field Values
-
JSON_ATTR_MEASURE
public static final java.lang.String JSON_ATTR_MEASURE
Attribute "measure" of queries requesting a specific inconsistency value.- See Also:
- Constant Field Values
-
JSON_ATTR_FORMAT
public static final java.lang.String JSON_ATTR_FORMAT
Attribute "format" of queries requesting a specific inconsistency value.- See Also:
- Constant Field Values
-
JSON_ATTR_KB
public static final java.lang.String JSON_ATTR_KB
Attribute "kb" of queries requesting a specific inconsistency value.- See Also:
- Constant Field Values
-
JSON_ATTR_VALUE
public static final java.lang.String JSON_ATTR_VALUE
Attribute "value" of replies containing the requested inconsistency value.- See Also:
- Constant Field Values
-
JSON_ATTR_TIME
public static final java.lang.String JSON_ATTR_TIME
Attribute "time" of replies containing the time needed to compute the value.- See Also:
- Constant Field Values
-
JSON_ATTR_ERROR
public static final java.lang.String JSON_ATTR_ERROR
Attribute "error" of replies giving some explanation of an error.- See Also:
- Constant Field Values
-
JSON_ATTR_REPLY
public static final java.lang.String JSON_ATTR_REPLY
Attribute "reply" of replies referring to the reply type (same values as "cmd").- See Also:
- Constant Field Values
-
JSON_ATTR_EMAIL
public static final java.lang.String JSON_ATTR_EMAIL
Attribute "email" of queries/replies, used for identification and logging purposes.- See Also:
- Constant Field Values
-
JSON_ATTR_MEASURES
public static final java.lang.String JSON_ATTR_MEASURES
Attribute "measures" of replies, used for listing all available inconsistency measures.- See Also:
- Constant Field Values
-
JSON_ATTR_FORMATS
public static final java.lang.String JSON_ATTR_FORMATS
Attribute "formats" of replies, used for listing all available kb formats.- See Also:
- Constant Field Values
-
JSON_ATTR_ID
public static final java.lang.String JSON_ATTR_ID
Attribute "id" of replies to list queries- See Also:
- Constant Field Values
-
JSON_ATTR_LABEL
public static final java.lang.String JSON_ATTR_LABEL
Attribute "label" of replies to list queries- See Also:
- Constant Field Values
-
-
Method Detail
-
handleRequest
@POST @Produces("application/json") @Consumes("application/json") public java.lang.String handleRequest(java.lang.String query) throws org.codehaus.jettison.json.JSONException
Handles 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.
-
-