gapt.logic.hol.scan.State
See theState companion object
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
Members list
In this article