public class Norm
extends java.lang.Object
Constructor and Description |
---|
Norm(java.lang.String id,
jason.asSyntax.Literal head,
jason.asSyntax.LogicalFormula body) |
Modifier and Type | Method and Description |
---|---|
Norm |
clone() |
jason.asSyntax.LogicalFormula |
getCondition() |
jason.asSyntax.Literal |
getConsequence() |
java.lang.String |
getId() |
java.lang.String |
toString() |
public Norm(java.lang.String id, jason.asSyntax.Literal head, jason.asSyntax.LogicalFormula body)
public java.lang.String getId()
public jason.asSyntax.Literal getConsequence()
public jason.asSyntax.LogicalFormula getCondition()
public Norm clone()
clone
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object