p
concrete
package concrete
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- final class BitVectorDomain extends IntDomain with LazyLogging
- sealed trait BooleanDomain extends Domain
- class CSPOMSolution extends Map[String, Any] with LazyLogging
- class CSPOMSolver extends Iterator[CSPOMSolution] with LazyLogging
- case class Contradiction(cause: Option[Constraint], from: Seq[Variable], to: Seq[Variable]) extends Outcome with Product with Serializable
- abstract class Domain extends MiniSet
- final class DummySolver extends Solver
- final class EntailmentManager extends AnyRef
- sealed trait Event extends AnyRef
- sealed trait Goal extends AnyRef
- abstract class IntDomain extends Domain
- final class IntervalDomain extends IntDomain with LazyLogging
- final class JCSPOMDriver extends CSPOM
- final class MAC extends Solver with LazyLogging
- case class Maximize(v: Variable) extends Goal with Product with Serializable
- case class Minimize(v: Variable) extends Goal with Product with Serializable
- sealed trait Outcome extends AnyRef
-
final
class
ParameterManager extends LazyLogging
This class is intended to hold Concrete's various parameters.
- final class Problem extends AnyRef
- case class ProblemState(domains: Vector[Domain], constraintStates: Vector[AnyRef], entailed: EntailmentManager, data: IdentityMap[Any, Any] = IdentityMap()) extends Outcome with LazyLogging with Product with Serializable
- case class SAT(solution: Map[Variable, Any]) extends SolverResult with Product with Serializable
- final class Singleton extends IntDomain with LazyLogging
- abstract class Solver extends Iterator[Map[Variable, Any]] with LazyLogging
- sealed trait SolverResult extends AnyRef
- case class Stack(current: Outcome, leftStack: List[ProblemState], rightStack: List[Decision], decisionHistory: List[Seq[Decision]]) extends Product with Serializable
- class SumBuilder extends AnyRef
- final class TreeSetDomain extends IntDomain with LazyLogging
- case class UNKNOWNResult(cause: Option[Throwable]) extends SolverResult with Product with Serializable
- final class Variable extends Identified with PTag with DLNode[Variable] with Weighted
Value Members
- object Assignment extends Event with Product with Serializable
- object BooleanDomain
-
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
-
object
BuildInfo extends Product with Serializable
This object was generated by sbt-buildinfo.
- object CSPOMDriver
- object Contradiction extends Serializable
- object Domain
- object EmptyIntDomain extends IntDomain
- object EntailmentManager
- object Event
-
object
InsideRemoval extends Event with Product with Serializable
Bounds are unchanged
- object IntDomain
- object MAC
- object Problem
- object ProblemState extends Serializable
- object RESTART extends SolverResult with Product with Serializable
- object Satisfy extends Goal with Product with Serializable
- object Singleton
- object Solver
- object Stack extends Serializable
- object SumBuilder
- object UNKNOWNResult extends Serializable
- object UNSAT extends SolverResult with Product with Serializable