package prover
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- prover
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- class EPCR extends Prover
-
class
ExpertProver
extends Prover
Created by vlad107 on 7/27/17.
- abstract class NoSuccess extends ProblemStatus
-
sealed abstract
class
ProblemStatus
extends AnyRef
ProblemStatus is the class for results returned by the theorem prover.
ProblemStatus is the class for results returned by the theorem prover.
The semantics of each subclass is explained in the SZS Ontology: http://www.cs.miami.edu/~tptp/cgi-bin/SeeTPTP?Category=Documents&File=SZSOntology
- trait Prover extends AnyRef
- case class Satisfiable (m: Option[Model] = None) extends NoSuccess with Product with Serializable
- abstract class Success extends ProblemStatus
- case class Unsatisfiable (p: Option[CRProof] = None) extends Success with Product with Serializable
Value Members
-
def
combinations[A](xss: Seq[Seq[A]]): Seq[Seq[A]]
Computes all combinations of list of lists.
Computes all combinations of list of lists. Example: combinations(Seq(Seq(1, 2), Seq(1, 3))) == Seq(Seq(1, 1), Seq(1, 3), Seq(2, 1), Seq(2, 3))
- A
type of elements
- xss
sequence of sequences of possible elements
- returns
all possible combinations of elements
- object CDCL
- object EPCR extends EPCR
- object Error extends NoSuccess with Product with Serializable
- object ExpertProver extends ExpertProver
- object GaveUp extends NoSuccess with Product with Serializable
- object PDCR extends Prover
- object TDCR extends Prover
- object Timeout extends NoSuccess with Product with Serializable