Packages

  • package root
    Definition Classes
    root
  • object Config

    This is where we parse the arguments given to the implementation

    This is where we parse the arguments given to the implementation

    Definition Classes
    root
o

Config

object Config

This is where we parse the arguments given to the implementation

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Config
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Config(machine: Machine.Value = Machine.Free, language: Language.Value = Language.Scheme, lattice: Lattice.Value = Lattice.TypeSet, concrete: Boolean = false, file: Option[String] = None, dotfile: Option[String] = None, jsonfile: Option[String] = None, address: Address.Value = Address.Classical, inspect: Boolean = false, counting: Boolean = false, bound: Int = 100, timeout: Option[Duration] = None, workers: Int = 1, mbox: Mbox.Value = Mbox.BoundedList, mboxBound: Int = 1) extends Product with Serializable

Value Members

  1. implicit val MboxRead: Read[Config.Mbox.Value]
  2. implicit val addressRead: Read[Config.Address.Value]
  3. implicit val languageRead: Read[Config.Language.Value]
  4. implicit val latticeRead: Read[Config.Lattice.Value]
  5. implicit val machineRead: Read[Config.Machine.Value]
  6. val parser: OptionParser[Config]
  7. object Address extends Enumeration
  8. object Language extends Enumeration
  9. object Lattice extends Enumeration
  10. object Machine extends Enumeration
  11. object Mbox extends Enumeration