Packages

package actors

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class ClauseInfo (expertClause: Clause, proofs: ListBuffer[CRProofNode]) extends Product with Serializable
  2. class ExpertActor extends Actor

    Created by vlad107 on 7/27/17.

  3. class ExpertActorPriorityMailbox extends UnboundedPriorityMailbox
  4. class ExpertData extends AnyRef

    Every expertActor stores this data structure to store clauses and to derive new clauses.

  5. case class MakeDecisions (wasNewCDCLs: Boolean) extends Product with Serializable
  6. case class NewCDCLClauses (cdclNodes: Seq[CRProofNode]) extends Product with Serializable
  7. case class RemoveCDCLPremises (premises: Set[Literal]) extends Product with Serializable
  8. case class Start (initialClauses: Seq[Clause], friendActors: Seq[ActorRef]) extends Product with Serializable

Value Members

  1. object ResolveCDCL extends Product with Serializable
  2. object ResolveUnitPropagation extends Product with Serializable

Ungrouped