public interface DungEntity extends Formula
Modifier and Type | Method and Description |
---|---|
LdoFormula |
getLdoFormula()
Returns a logical representation of this entity in LDO
(Logic of dialectical outcomes, cf.
|
getSignature
LdoFormula getLdoFormula()