Class Negation
- java.lang.Object
-
- org.tweetyproject.arg.adf.syntax.pl.Negation
-
-
Method Summary
Modifier and Type Method Description Atom
getAtom()
boolean
isPositive()
java.lang.String
toString()
-
-
-
Constructor Detail
-
Negation
public Negation(Literal literal)
- Parameters:
literal
- some literal
-
-
Method Detail
-
isPositive
public boolean isPositive()
- Specified by:
isPositive
in interfaceLiteral
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-