Modifier and Type | Field and Description |
---|---|
static jason.asSyntax.Atom |
DynAtom |
static jason.asSyntax.Atom |
NormAtom |
static jason.asSyntax.Atom |
NPAtom |
Constructor and Description |
---|
NPLInterpreter() |
Modifier and Type | Method and Description |
---|---|
void |
addListener(NormativeListener ol) |
void |
clearNP()
removes all facts/rules that comes from NP
|
java.util.List<jason.asSyntax.Literal> |
getActiveObligations()
get active obligations (those not fulfilled)
|
jason.asSemantics.Agent |
getAg() |
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document) |
java.util.List<jason.asSyntax.Literal> |
getFulfilledObligations()
get fulfilled obligations
|
java.util.List<jason.asSyntax.Literal> |
getInactiveObligations()
get fulfilled obligations
|
Norm |
getNorm(java.lang.String id) |
Scope |
getScope() |
java.util.List<jason.asSyntax.Literal> |
getSource(jason.asSyntax.Atom s)
get all facts from a kind of source (os or oe)
|
java.lang.String |
getStateString() |
java.util.List<jason.asSyntax.Literal> |
getUnFulfilledObligations()
get unfulfilled obligations
|
boolean |
holds(jason.asSyntax.LogicalFormula l) |
void |
init() |
void |
loadNP(Scope scope)
loads facts from a NP scope into the interpreter
|
boolean |
removeListener(NormativeListener ol) |
void |
setScope(Scope scope)
resets the interpreter with a new NP
|
void |
setUpdateInterval(int miliseconds)
sets the update interval for checking the change in obligation states
|
void |
stop() |
java.lang.String |
toString() |
java.util.Collection<jason.asSyntax.Literal> |
verifyNorms()
verifies all norms to identify failure (exception) or new obligations
|
public static final jason.asSyntax.Atom NPAtom
public static final jason.asSyntax.Atom DynAtom
public static final jason.asSyntax.Atom NormAtom
public void init()
public void stop()
public void addListener(NormativeListener ol)
public boolean removeListener(NormativeListener ol)
public java.util.List<jason.asSyntax.Literal> getSource(jason.asSyntax.Atom s)
public void setScope(Scope scope)
public Scope getScope()
public void loadNP(Scope scope)
public void clearNP()
public java.util.List<jason.asSyntax.Literal> getActiveObligations()
public java.util.List<jason.asSyntax.Literal> getFulfilledObligations()
public java.util.List<jason.asSyntax.Literal> getUnFulfilledObligations()
public java.util.List<jason.asSyntax.Literal> getInactiveObligations()
public jason.asSemantics.Agent getAg()
public boolean holds(jason.asSyntax.LogicalFormula l)
public Norm getNorm(java.lang.String id)
public java.util.Collection<jason.asSyntax.Literal> verifyNorms() throws NormativeFailureException
NormativeFailureException
public java.lang.String getStateString()
public org.w3c.dom.Element getAsDOM(org.w3c.dom.Document document)
public java.lang.String toString()
toString
in class java.lang.Object
public void setUpdateInterval(int miliseconds)