p

concrete

package concrete

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. final class BitVectorDomain extends IntDomain with LazyLogging
  2. sealed trait BooleanDomain extends Domain
  3. class CSPOMSolution extends Map[String, Any] with LazyLogging
  4. class CSPOMSolver extends Iterator[CSPOMSolution] with LazyLogging
  5. case class Contradiction(cause: Option[Constraint], from: Seq[Variable], to: Seq[Variable]) extends Outcome with Product with Serializable
  6. abstract class Domain extends MiniSet
  7. final class DummySolver extends Solver
  8. final class EntailmentManager extends AnyRef
  9. sealed trait Event extends AnyRef
  10. sealed trait Goal extends AnyRef
  11. abstract class IntDomain extends Domain
  12. final class IntervalDomain extends IntDomain with LazyLogging
  13. final class JCSPOMDriver extends CSPOM
  14. final class MAC extends Solver with LazyLogging
  15. case class Maximize(v: Variable) extends Goal with Product with Serializable
  16. case class Minimize(v: Variable) extends Goal with Product with Serializable
  17. sealed trait Outcome extends AnyRef
  18. final class ParameterManager extends LazyLogging

    This class is intended to hold Concrete's various parameters.

  19. final class Problem extends AnyRef
  20. case class ProblemState(domains: Vector[Domain], constraintStates: Vector[AnyRef], entailed: EntailmentManager, data: IdentityMap[Any, Any] = IdentityMap()) extends Outcome with LazyLogging with Product with Serializable
  21. case class SAT(solution: Map[Variable, Any]) extends SolverResult with Product with Serializable
  22. final class Singleton extends IntDomain with LazyLogging
  23. abstract class Solver extends Iterator[Map[Variable, Any]] with LazyLogging
  24. sealed trait SolverResult extends AnyRef
  25. case class Stack(current: Outcome, leftStack: List[ProblemState], rightStack: List[Decision], decisionHistory: List[Seq[Decision]]) extends Product with Serializable
  26. class SumBuilder extends AnyRef
  27. final class TreeSetDomain extends IntDomain with LazyLogging
  28. case class UNKNOWNResult(cause: Option[Throwable]) extends SolverResult with Product with Serializable
  29. final class Variable extends Identified with PTag with DLNode[Variable] with Weighted

Value Members

  1. object Assignment extends Event with Product with Serializable
  2. object BooleanDomain
  3. object BoundRemoval extends Event with Product with Serializable

    AT LEAST a bound was removed.

    AT LEAST a bound was removed. Other values may have been removed as well

  4. object BuildInfo extends Product with Serializable

    This object was generated by sbt-buildinfo.

  5. object CSPOMDriver
  6. object Contradiction extends Serializable
  7. object Domain
  8. object EmptyIntDomain extends IntDomain
  9. object EntailmentManager
  10. object Event
  11. object InsideRemoval extends Event with Product with Serializable

    Bounds are unchanged

  12. object IntDomain
  13. object MAC
  14. object Problem
  15. object ProblemState extends Serializable
  16. object RESTART extends SolverResult with Product with Serializable
  17. object Satisfy extends Goal with Product with Serializable
  18. object Singleton
  19. object Solver
  20. object Stack extends Serializable
  21. object SumBuilder
  22. object UNKNOWNResult extends Serializable
  23. object UNSAT extends SolverResult with Product with Serializable

Ungrouped