Package

tool

Permalink

package tool

Visibility
  1. Public
  2. All

Type Members

  1. case class AnalysisConfig(computeR: Boolean = false, checkR: Boolean = false, computeMinCard: Boolean = false, checkMinCard: Boolean = false, checkMonotony: Boolean = false, computeMCSUntil: Option[Int] = scala.None) extends Config with Product with Serializable

    Permalink
  2. sealed trait Config extends AnyRef

    Permalink
  3. case class ExplorationConfig(explore: Boolean = false, mincard: Option[Int] = scala.None, minR: Option[BigDecimal] = scala.None, time: Option[Int] = scala.None) extends Config with Product with Serializable

    Permalink
  4. case class ExportConfig(exportSMV: Option[File] = scala.None, exportHipHops: Option[File] = scala.None, exportXFTA: Option[File] = scala.None, exportCG: Option[File] = scala.None, exportSTMDD: Option[File] = scala.None, printDot: Option[File] = scala.None, exportRSage: Option[File] = scala.None) extends Config with Product with Serializable

    Permalink
  5. case class PerfConfig(timeout: Option[FiniteDuration] = scala.None, XFTAPath: Option[Path] = scala.None, XSAPath: Option[Path] = scala.None, HIPHOPSPath: Option[Path] = scala.None, WINEPath: Option[Path] = scala.None, CLASPPath: Option[Path] = scala.None, runDSEPerf: Boolean = false, runCutPerf: Boolean = false, runSTMDDPerf: Boolean = false) extends Product with Serializable

    Permalink
  6. case class RunConfig(confName: Option[String] = scala.None, systemFiles: List[File] = immutable.this.Nil, gui: Boolean = false, perfConf: PerfConfig = ..., anaConf: AnalysisConfig = ..., expConf: ExplorationConfig = ..., exportConf: ExportConfig = ...) extends Config with Product with Serializable

    Permalink

Value Members

  1. object AnalysisConfig extends Serializable

    Permalink
  2. object ExplorationConfig extends Serializable

    Permalink
  3. object ExportConfig extends Serializable

    Permalink
  4. object MainCLI

    Permalink

    Main object for command line version of the tool

  5. object PerfConfig extends Serializable

    Permalink
  6. object RunConfig extends Serializable

    Permalink

Ungrouped