package runner
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- trait CSPOMRunner extends ConcreteRunner
- trait ConcreteRunner extends LazyLogging
- trait ConcreteWriter extends AnyRef
- class FZWriter extends ConcreteWriter
-
class
Finisher extends Thread
Created by vion on 23/05/17.
- sealed trait Result extends AnyRef
- case class Unfinished(t: Option[Throwable] = None) extends Result with Product with Serializable
- class XCSP3SolutionChecker extends LazyLogging
- class XCSP3Writer extends ConcreteWriter
Value Members
- object Error
- object FZConcrete extends CSPOMRunner with LazyLogging
- object FullExplore extends Result with Product with Serializable
- object XCSP3Concrete extends CSPOMRunner with App
- object XCSPConcrete extends CSPOMRunner with App