Packages

c

sbt.internal.util.logic.Logic

CyclicNegation

final class CyclicNegation extends LogicException

Linear Supertypes
LogicException, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CyclicNegation
  2. LogicException
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CyclicNegation(cycle: List[Literal])

Value Members

  1. val cycle: List[Literal]
  2. val toString: String
    Definition Classes
    LogicException → AnyRef → Any