Packages

o

be.opimedia.scala_par_am

Configuration

object Configuration

Helpers to configure machine

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

Type Members

  1. case class MachineConfig(lattice: Lattice.Value = Lattice.TypeSet, bound: Int = 100, address: Address.Value = Address.Classical, filename: String = "", stepFilterEnabled: Boolean = false, machine: Machine.Value = Machine.SeqAAMLS, process: Int = 1, timeout: FiniteDuration = FiniteDuration(1, "day"), statsEnabled: Boolean = false, outputGraphEnabled: Boolean = false) extends Product with Serializable

    The complete configuration

Value Members

  1. implicit val addressRead: Read[Configuration.Address.Value]
  2. def automaticName(config: MachineConfig, timedOut: Boolean, directory: String, extension: String): String

    Build a name for dot file, with information known a this time.

  3. val dotOutputDirectory: String
  4. def getAddress(addressValue: Configuration.Address.Value): AddressWrapper

    Return the instance of the corresponding address.

  5. def getLattice(latticeValue: Configuration.Lattice.Value, counting: Boolean, bound: Int): SchemeLattice

    Return the instance of the corresponding lattice.

  6. def getMachine(machineValue: Configuration.Machine.Value, lattice: SchemeLattice, address: AddressWrapper, time: TimestampWrapper): AbstractMachine[SchemeExp, L, A, T]

    Return the instance of the corresponding machine.

  7. implicit val latticeRead: Read[Configuration.Lattice.Value]
  8. def machineIsParallel(machineValue: Configuration.Machine.Value): Boolean

    Return true iff the machine is a parallel machine

  9. implicit val machineRead: Read[Configuration.Machine.Value]
  10. object Address extends Enumeration
  11. object Lattice extends Enumeration
  12. object Machine extends Enumeration

    List of all available (sequential and parallel) machines.

    List of all available (sequential and parallel) machines. See Main to have a brief description of all these machines.