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

And

sbt.internal.util.logic.Formula.And
final case class And(literals: Set[Literal]) extends Formula

A conjunction of literals.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Formula
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def &&(f: Formula): Formula

Constructs a formula that is true iff this formula and f are both true.

Constructs a formula that is true iff this formula and f are both true.

Attributes

Inherited from:
Formula
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def proves(atom: Atom, atoms: Atom*): Clause

Constructs a clause that proves atoms when this formula is true.

Constructs a clause that proves atoms when this formula is true.

Attributes

Inherited from:
Formula
Generated with