public class OIgui extends java.lang.Object implements DynamicFactsProvider
Constructor and Description |
---|
OIgui(java.lang.String osFile,
java.lang.String npSrcFile) |
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<jason.asSemantics.Unifier> |
consult(jason.asSyntax.Literal l,
jason.asSemantics.Unifier u) |
void |
executeAct(jason.asSyntax.Literal action) |
void |
executeAct(jason.asSyntax.LogicalFormula expr) |
boolean |
isRelevant(jason.asSyntax.PredicateIndicator pi) |
static void |
main(java.lang.String[] args) |
public OIgui(java.lang.String osFile, java.lang.String npSrcFile) throws java.io.FileNotFoundException, ParseException
java.io.FileNotFoundException
ParseException
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception
public void executeAct(jason.asSyntax.Literal action)
public void executeAct(jason.asSyntax.LogicalFormula expr)
public boolean isRelevant(jason.asSyntax.PredicateIndicator pi)
isRelevant
in interface DynamicFactsProvider
public java.util.Iterator<jason.asSemantics.Unifier> consult(jason.asSyntax.Literal l, jason.asSemantics.Unifier u)
consult
in interface DynamicFactsProvider