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

Atoms

sbt.internal.util.logic.Logic.Atoms
final case class Atoms(inHead: Set[Atom], inFormula: Set[Atom])

Represents the set of atoms in the heads of clauses and in the bodies (formulas) of clauses.

Attributes

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

Members list

Value members

Concrete methods

def ++(as: Atoms): Atoms

Concatenates this with as.

Concatenates this with as.

Attributes

def triviallyFalse: Set[Atom]

Atoms that cannot be true because they do not occur in a head.

Atoms that cannot be true because they do not occur in a head.

Attributes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with