Negation

java.lang.Object

tech.oxfordsemantic.jrdfox.logic.Formula

tech.oxfordsemantic.jrdfox.logic.BodyFormula

tech.oxfordsemantic.jrdfox.logic.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.BodyFormula
NO_LITERALS

Fields inherited from class tech.oxfordsemantic.jrdfox.logic.Formula
NO_FORMULAS

Method Summary

Modifier and Type	Method	Description
`<E> E`	`accept(LogicVisitor<E> visitor)`
`static Negation`	`create(java.util.List<Variable> existentialVariables, Formula negatedFormulas)`
`static Negation`	`create(Formula negatedFormula)`
`static Negation`	`create(Variable[] existentialVariables, Formula negatedFormulas)`
`Variable`	`getExistentialVariable(int index)`
`java.util.List<Variable>`	`getExistentialVariables()`
`Formula`	`getNegatedFormula()`
`int`	`getNumberOfExistentialVariables()`
`BodyFormula`	`simplify()`
`void`	`toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)`

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

getArgument, getArguments, getNumberOfArguments

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

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()
- getNumberOfExistentialVariables
  
  public int getNumberOfExistentialVariables()
- getExistentialVariable
  
  public Variable getExistentialVariable(int index)
- getNegatedFormula
  
  public Formula getNegatedFormula()
- simplify
  
  public BodyFormula simplify()
  
  Specified by:
  
  simplify in class BodyFormula
- accept
  
  public <E> E accept(LogicVisitor<E> visitor)
  
  Specified by:
  
  accept in class BodyFormula
- toString
  
  public void toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)
  
  Specified by:
  
  toString in class BodyFormula
- create
  
  public static Negation create(java.util.List<Variable> existentialVariables, Formula negatedFormulas)
- create
  
  public static Negation create(Variable[] existentialVariables, Formula negatedFormulas)
- create
  
  public static Negation create(Formula negatedFormula)