Packages

object TermProver extends CompositeProver[TermResult]

Linear Supertypes
Content Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TermProver
  2. CompositeProver
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class AnyOf(provers: Vector[Prover], parallel: Boolean) extends Prover with Product with Serializable
    Definition Classes
    CompositeProver
  2. case class BothOf(first: Prover, second: Prover, zipProofs: (Term, Term) => Option[Term]) extends Prover with Product with Serializable
    Definition Classes
    CompositeProver
  3. case class Contradicted(prover: Prover, data: D) extends Result with Product with Serializable
    Definition Classes
    CompositeProver
  4. case class Elementary(lp: LocalProverStep, getData: (LocalProverStep) => Task[D], isSuccess: (D) => Task[Boolean]) extends Prover with Product with Serializable
    Definition Classes
    CompositeProver
  5. case class MapProof(prover: Prover, proofMap: (Term) => Option[Term]) extends Prover with Product with Serializable
    Definition Classes
    CompositeProver
  6. case class OneOf(first: Prover, second: Prover) extends Prover with Product with Serializable
    Definition Classes
    CompositeProver
  7. case class Proved(prover: Prover, data: D) extends Result with Product with Serializable
    Definition Classes
    CompositeProver
  8. sealed trait Prover extends AnyRef
    Definition Classes
    CompositeProver
  9. sealed trait Result extends AnyRef
    Definition Classes
    CompositeProver
  10. case class SomeOf(provers: Vector[Prover]) extends Prover with Product with Serializable
    Definition Classes
    CompositeProver
  11. case class Unknown(data: D, partials: Set[Result]) extends Result with Product with Serializable
    Definition Classes
    CompositeProver
  12. case class Xor(hyp: Prover, contra: Prover) extends Prover with Product with Serializable
    Definition Classes
    CompositeProver

Value Members

  1. def backwardProver(func: Term, lp: LocalProverStep, typ: Typ[Term], instances: (Typ[Term]) => Task[Vector[Weighted[Term]]], varWeight: Double, parallel: Boolean): Task[Option[Prover]]
  2. def bestResult(baseProver: Prover, accum: Option[Result], sharpness: Double, scale: Double, steps: Int): Task[Option[Result]]
  3. def combineResults(x: Result, y: Result): Product with Result with Serializable { def flip: Product with provingground.learning.TermProver.Result with java.io.Serializable }
    Definition Classes
    CompositeProver
  4. def consequences(result: Result): Set[Result]
    Definition Classes
    CompositeProver
  5. def contradictedProvers(results: Set[Result]): Set[Prover]
    Definition Classes
    CompositeProver
  6. val empty: TermResult
    Definition Classes
    CompositeProver
  7. def getProver(lp: LocalProver, typ: Typ[Term], flatten: Double = 2, parallel: Boolean = false): Task[Prover]
  8. def isContradicted(results: Set[Result], prover: Prover): Boolean
    Definition Classes
    CompositeProver
  9. def isProved(results: Set[Result], prover: Prover): Boolean
    Definition Classes
    CompositeProver
  10. def mergeResults(res: Iterable[Result]): Result
    Definition Classes
    CompositeProver
  11. def proveSome(provers: Vector[Prover], results: Vector[Result], data: TermResult, useData: (TermResult) => (LocalProverStep) => LocalProverStep): Task[(Vector[Result], TermResult)]
    Definition Classes
    CompositeProver
  12. def provedProvers(results: Set[Result]): Set[Prover]
    Definition Classes
    CompositeProver
  13. def purge(results: Set[Result], prover: Prover): Option[Prover]

    Purge components of the result that have been contradicted.

    Purge components of the result that have been contradicted.

    Definition Classes
    CompositeProver
  14. def sequenceResult(provers: Vector[Prover], accum: TermResult, partials: Set[Result]): Task[Result]
    Definition Classes
    CompositeProver
  15. def typProver(lp: LocalProverStep, typ: Typ[Term], instances: (Typ[Term]) => Task[Vector[Weighted[Term]]], varWeight: Double, parallel: Boolean): Task[Prover]
  16. def upgradeProver(prover: Prover, result: Result): Option[Prover]
  17. val useData: (TermResult) => (LocalProverStep) => LocalProverStep
  18. def xorProver(lp: LocalProverStep, typ: Typ[Term], instances: (Typ[Term]) => Task[Vector[Weighted[Term]]], varWeight: Double, parallel: Boolean): Task[Xor]