Class AbaReasonerPost
java.lang.Object
org.tweetyproject.web.spring_services.aba.AbaReasonerPost
*description missing*
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription*description missing**description missing*booleangetCmd()*description missing*getEmail()*description missing**description missing*getKb()*description missing**description missing**description missing**description missing*int*description missing**description missing*inthashCode()*description missing**description missing*query_assumption(String query_assumption) *description missing**description missing*void*description missing*void*description missing*voidsetFol_signature(String fol_signature) *description missing*void*description missing*voidsetKb_format(String kb_format) *description missing*voidsetQuery_assumption(String query_assumption) *description missing*voidsetSemantics(String semantics) *description missing*voidsetTimeout(int timeout) *description missing*voidsetUnit_timeout(String unit_timeout) *description missing*timeout(int timeout) *description missing*toString()unit_timeout(String unit_timeout) *description missing*
-
Constructor Details
-
AbaReasonerPost
public AbaReasonerPost()*description missing* -
AbaReasonerPost
public AbaReasonerPost(String cmd, String email, String kb, String kb_format, String fol_signature, String query_assumption, String semantics, int timeout, String unit_timeout) *description missing*- Parameters:
cmd- *description missing*email- *description missing*kb- *description missing*kb_format- *description missing*fol_signature- *description missing*query_assumption- *description missing*semantics- *description missing*timeout- *description missing*unit_timeout- *description missing*
-
-
Method Details
-
getFol_signature
*description missing*- Returns:
- *description missing*
-
setFol_signature
*description missing*- Parameters:
fol_signature- *description missing*
-
getCmd
*description missing*- Returns:
- *description missing*
-
setCmd
*description missing*- Parameters:
cmd- *description missing*
-
getEmail
*description missing*- Returns:
- *description missing*
-
setEmail
*description missing*- Parameters:
email- *description missing*
-
getKb
*description missing*- Returns:
- *description missing*
-
setKb
*description missing*- Parameters:
kb- *description missing*
-
getKb_format
*description missing*- Returns:
- *description missing*
-
setKb_format
*description missing*- Parameters:
kb_format- *description missing*
-
getQuery_assumption
*description missing*- Returns:
- *description missing*
-
setQuery_assumption
*description missing*- Parameters:
query_assumption- *description missing*
-
getSemantics
*description missing*- Returns:
- *description missing*
-
setSemantics
*description missing*- Parameters:
semantics- *description missing*
-
getTimeout
public int getTimeout()*description missing*- Returns:
- *description missing*
-
setTimeout
public void setTimeout(int timeout) *description missing*- Parameters:
timeout- *description missing*
-
getUnit_timeout
*description missing*- Returns:
- *description missing*
-
setUnit_timeout
*description missing*- Parameters:
unit_timeout- *description missing*
-
cmd
*description missing*- Parameters:
cmd- *description missing*- Returns:
- *description missing*
-
email
*description missing*- Parameters:
email- *description missing*- Returns:
- *description missing*
-
kb
*description missing*- Parameters:
kb- *description missing*- Returns:
- *description missing*
-
kb_format
*description missing*- Parameters:
kb_format- *description missing*- Returns:
- *description missing*
-
query_assumption
*description missing*- Parameters:
query_assumption- *description missing*- Returns:
- *description missing*
-
semantics
*description missing*- Parameters:
semantics- *description missing*- Returns:
- *description missing*
-
timeout
*description missing*- Parameters:
timeout- *description missing*- Returns:
- *description missing*
-
unit_timeout
*description missing*- Parameters:
unit_timeout- *description missing*- Returns:
- *description missing*
-
equals
-
hashCode
public int hashCode() -
toString
-