gapt.logic.hol.scan.State
See theState companion object
case class State(activeClauses: Set[HOLClause], derivation: Derivation, remainingAllowedSteps: Option[Int], oneSidedOnly: Boolean, allowResolutionOnBaseLiterals: Boolean)
Describes the state of the SCAN saturation process at any given time
Value parameters
- activeClauses
-
the active clause set
- allowResolutionOnBaseLiterals
-
@see allowResolutionOnBaseLiterals option of scsan
- derivation
-
the current derivation we are at
- oneSidedOnly
-
@see oneSidedOnly option of scan
- remainingAllowedInferences
-
the remaining number of inference steps. If None, an arbitrary amount of inferences is allowed
Attributes
- Companion
- object
- Source
- scan.scala
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Members list
In this article