Class LdoNegation

java.lang.Object
org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
org.tweetyproject.arg.dung.ldo.syntax.LdoNegation
All Implemented Interfaces:
Formula, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class LdoNegation extends LdoFormula
This class models classical negation of ldo logic.
Author:
Matthias Thimm, Tim Janus