Package | Description |
---|---|
npl | |
npl.parser | |
ora4mas.nopl | |
ora4mas.nopl.simulator | |
ora4mas.nopl.test |
Modifier and Type | Method and Description |
---|---|
void |
NormativeProgram.setRoot(Scope root) |
Modifier and Type | Method and Description |
---|---|
ParseException |
nplp.generateParseException() |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
nplp.arithm_expr_factor() |
java.lang.Object |
nplp.arithm_expr_simple() |
java.lang.Object |
nplp.arithm_expr_trm() |
java.lang.Object |
nplp.arithm_expr() |
jason.asSyntax.ListTermImpl |
nplp.list() |
jason.asSyntax.Literal |
nplp.literal() |
java.lang.Object |
nplp.log_expr_factor() |
java.lang.Object |
nplp.log_expr_trm() |
java.lang.Object |
nplp.log_expr() |
Norm |
nplp.norm() |
void |
nplp.program(NormativeProgram np,
DynamicFactsProvider dfp) |
java.lang.Object |
nplp.rel_expr() |
jason.asSyntax.Rule |
nplp.rule() |
void |
nplp.scope(NormativeProgram np,
Scope superScope) |
jason.asSyntax.StringTerm |
nplp.string() |
jason.asSyntax.Term |
nplp.term_in_list() |
jason.asSyntax.Term |
nplp.term() |
java.util.List |
nplp.terms() |
jason.asSyntax.Term |
nplp.time() |
jason.asSyntax.VarTerm |
nplp.var() |
Modifier and Type | Method and Description |
---|---|
void |
SchemeBoard.init(java.lang.String osFile,
java.lang.String schType,
boolean createMonitoring,
boolean hasGUI)
Initialises the scheme artifact
|
void |
GroupBoard.init(java.lang.String osFile,
java.lang.String grType,
boolean createMonitoring,
boolean hasGUI)
Initialises the group board
|
protected void |
OrgArt.initNormativeEngine(OS os,
java.lang.String type) |
Constructor and Description |
---|
OIgui(java.lang.String osFile,
java.lang.String npSrcFile) |
Modifier and Type | Method and Description |
---|---|
void |
NPLParserTest.testBasic1() |
void |
TranslationTest.testGgroupWithoutRole() |
void |
TranslationTest.testWP() |
void |
NPLInterpreterTest.testWPGroup1() |
void |
NPLInterpreterTest.testWPGroup2() |
void |
NPLInterpreterTest.testWPGroupHJouse() |
void |
NPLInterpreterTest.testWPGroupVerify() |
void |
NPLInterpreterTest.testWPSchemeVerify() |
void |
NPLInterpreterTestSubGroups.testWPSubGroup1() |
Constructor and Description |
---|
OI(java.lang.String osFile,
java.lang.String type,
java.lang.String schId) |