Results

abstract val incomplete: Boolean

Did any target not produce an inhabitant?

abstract val infinite: Boolean

Are there infinitely many inhabitants?

abstract val persistenceActions: Enumeration[Seq[() ⇒ Unit]]

Actions to perform with each inhabitant (e.g.

abstract val raw: Enumeration[Seq[Tree]]

Raw inhabitant terms without any interpretation.

abstract val storeRelativeTo: Path

Location which results are stored relative to.

abstract val targets: Seq[(Type, Option[BigInt])]

Targets for this result collection.

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def add[T](inhabitationResult: InhabitationResult[T])(implicit persistable: Aux[T]): Results

Adds a Persistable result to the collection.

def add[R](inhabitationResult: InhabitationResult[R], repositoryPath: Path): Results

Adds an inhabitation result to the collection.

def addAll[R](results: R)(implicit canAddAll: InhabitationResultVector[R]): Results

Adds all results of an InhabitationResultVector.

def addExternalArtifact[T](inhabitationResult: T)(implicit persistable: Aux[T]): Results

Adds an external (non-inhabitation generated) artifact to the result repository.

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def storeToDisk(number: Long): Unit

Runs the action associated with the number-th inhabitant.

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit