public class NormativeProgram
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ActFunctor |
static jason.asSyntax.PredicateIndicator |
ACTPI |
static java.lang.String |
FailFunctor |
static java.lang.String |
FFFunctor |
static jason.asSyntax.PredicateIndicator |
FFPI |
static jason.asSyntax.PredicateIndicator |
INACPI |
static java.lang.String |
InactFunctor |
static java.lang.String |
OblFunctor |
static java.lang.String |
UFFFunctor |
static jason.asSyntax.PredicateIndicator |
UFPI |
Constructor and Description |
---|
NormativeProgram() |
public static final java.lang.String FailFunctor
public static final java.lang.String OblFunctor
public static final java.lang.String FFFunctor
public static final java.lang.String UFFFunctor
public static final java.lang.String ActFunctor
public static final java.lang.String InactFunctor
public static final jason.asSyntax.PredicateIndicator ACTPI
public static final jason.asSyntax.PredicateIndicator FFPI
public static final jason.asSyntax.PredicateIndicator UFPI
public static final jason.asSyntax.PredicateIndicator INACPI
public java.lang.String getId()
public void setId(java.lang.String id)
public java.lang.String getSrc()
public void setSrc(java.lang.String src)
public Scope getRoot()
public void setRoot(Scope root) throws ParseException
ParseException
public java.lang.String toString()
toString
in class java.lang.Object