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

Atom

sbt.internal.util.logic.Atom
final case class Atom(label: String) extends Literal

A variable with name label.

Attributes

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

Members list

Value members

Concrete methods

def atom: Atom

The underlying (positive) atom.

The underlying (positive) atom.

Attributes

def unary_!: Negated

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