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

Literal

sbt.internal.util.logic.Literal
sealed abstract class Literal extends Formula

A literal is an Atom or its negation (Negated).

Attributes

Graph
Supertypes
class Formula
class Object
trait Matchable
class Any
Known subtypes
class Atom
class Negated

Members list

Value members

Abstract methods

def atom: Atom

The underlying (positive) atom.

The underlying (positive) atom.

Attributes

def unary_!: Literal

Negates this literal.

Negates this literal.

Attributes

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 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