Logic
API
Generated with
Logic/sbt.internal.util.logic/Formula

Formula

sbt.internal.util.logic.Formula
See theFormula companion class
object Formula

Attributes

Companion
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Formula.type

Members list

Type members

Classlikes

final case class And(literals: Set[Literal]) extends Formula

A conjunction of literals.

A conjunction of literals.

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Formula
class Object
trait Matchable
class Any
Show all
case object True extends Formula

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Formula
class Object
trait Matchable
class Any
Show all
Self type
True.type

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Generated with