Minus

java.lang.Object

tech.oxfordsemantic.jrdfox.logic.Formula

tech.oxfordsemantic.jrdfox.logic.Minus

All Implemented Interfaces:: java.io.Serializable

public class Minus
extends Formula

See Also:: Serialized Form

Field Summary

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 Minus`	`create(Formula main, java.util.List<Formula> subtrahends)`
`static Minus`	`create(Formula main, Formula... subtrahends)`
`Formula`	`getMain()`
`int`	`getNumberOfSubtrahends()`
`Formula`	`getSubtrahend(int index)`
`java.util.List<Formula>`	`getSubtrahends()`
`void`	`toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)`

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
- getMain
  
  public Formula getMain()
- getSubtrahends
  
  public java.util.List<Formula> getSubtrahends()
- getNumberOfSubtrahends
  
  public int getNumberOfSubtrahends()
- getSubtrahend
  
  public Formula getSubtrahend(int index)
- accept
  
  public <E> E accept(LogicVisitor<E> visitor)
  
  Specified by:
  
  accept in class Formula
- toString
  
  public void toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)
  
  Specified by:
  
  toString in class Formula
- create
  
  public static Minus create(Formula main, java.util.List<Formula> subtrahends)
- create
  
  public static Minus create(Formula main, Formula... subtrahends)