Negation

java.lang.Object

tech.oxfordsemantic.jrdfox.util.InterningManager.InternedObject

tech.oxfordsemantic.jrdfox.logic.LogicObject

tech.oxfordsemantic.jrdfox.logic.datalog.BodyFormula

tech.oxfordsemantic.jrdfox.logic.datalog.Negation

All Implemented Interfaces:: java.io.Serializable

public class Negation
extends BodyFormula

See Also:: Serialized Form

Field Summary

Fields inherited from class tech.oxfordsemantic.jrdfox.logic.datalog.BodyFormula
EMPTY_ARRAY

Method Summary

Modifier and Type	Method	Description
`<E> E`	`accept(LogicVisitor<E> visitor)`
`static Negation`	`create(java.util.List<Variable> existentialVariables, java.util.List<Atom> negatedAtoms)`
`static Negation`	`create(Atom... negatedAtoms)`
`static Negation`	`create(Variable[] existentialVariable, Atom[] negatedAtoms)`
`java.util.List<Variable>`	`getExistentialVariables()`
`java.util.List<Atom>`	`getNegatedAtoms()`
`void`	`toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer)`

Methods inherited from class tech.oxfordsemantic.jrdfox.logic.datalog.BodyFormula

getArguments

Methods inherited from class tech.oxfordsemantic.jrdfox.logic.LogicObject

toString, toString, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details
- getExistentialVariables
  
  public java.util.List<Variable> getExistentialVariables()
- getNegatedAtoms
  
  public java.util.List<Atom> getNegatedAtoms()
- accept
  
  public <E> E accept(LogicVisitor<E> visitor)
  
  Specified by:
  
  accept in class LogicObject
- toString
  
  public void toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer)
  
  Specified by:
  
  toString in class LogicObject
- create
  
  public static Negation create(java.util.List<Variable> existentialVariables, java.util.List<Atom> negatedAtoms)
- create
  
  public static Negation create(Variable[] existentialVariable, Atom[] negatedAtoms)
- create
  
  public static Negation create(Atom... negatedAtoms)