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

Matched

sbt.internal.util.logic.Logic.Matched
See theMatched companion object
final class Matched

Tracks proven atoms in the reverse order they were proved.

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def add(atoms: Set[Atom]): Matched
def add(atoms: List[Atom]): Matched
def ordered: List[Atom]
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any

Concrete fields

val provenSet: Set[Atom]
Generated with