|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.semanticweb.lp.FormulaObject
org.semanticweb.lp.ProgramClause
Description of the Class
| Field Summary | |
static boolean |
timemeasure
|
| Constructor Summary | |
ProgramClause(java.util.ArrayList head,
java.util.ArrayList body)
Constructor for the ProgramClause object |
|
ProgramClause(Literal[] body)
Constructor for the ProgramClause object |
|
ProgramClause(Literal[] head,
Literal[] body)
Constructor for the ProgramClause object |
|
| Method Summary | |
Literal[] |
getBody()
Gets the body attribute of the ProgramClause object |
Literal[] |
getHead()
Gets the head attribute of the ProgramClause object |
boolean |
isQuery()
Gets the query attribute of the ProgramClause object |
java.lang.String |
toPrologString(java.util.ArrayList answerVars)
|
java.lang.String |
toString()
Description of the Method |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
public static boolean timemeasure
| Constructor Detail |
public ProgramClause(Literal[] head,
Literal[] body)
head - Description of the Parameterbody - Description of the Parameter
public ProgramClause(java.util.ArrayList head,
java.util.ArrayList body)
head - Description of the Parameterbody - Description of the Parameterpublic ProgramClause(Literal[] body)
body - Description of the Parameter| Method Detail |
public boolean isQuery()
public Literal[] getBody()
public Literal[] getHead()
public java.lang.String toString()
public java.lang.String toPrologString(java.util.ArrayList answerVars)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||