Packages

p

reqT

package reqT

* * _ * | | reqT - a free requirements engineering tool * _ _ _ | | (c) 2011-2014, Lund University * | |/ _ \ / _ || | http://reqT.org * | | | /| (_| || | * |_| \_| \ ||_| * | | * |_| * reqT is free open source, licensed under the BSD 2-clause license: * http://opensource.org/licenses/bsd-license.php *************************************************************************

Source
package.scala
Linear Supertypes
NanoZap, DebugUtils, SysUtils, RandomUtils, FileUtils, StringUtils, RootHeadPathFactory, ConstraintGenerators, ImplicitContraints, ImplicitModelElemEnrichments, ImplicitAttributeEnrichments, ImplicitStringSelector, ImplicitFactoryObjects, CanMakeAttr, GuiLaunchers, GlobalConstants, Init, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. reqT
  2. NanoZap
  3. DebugUtils
  4. SysUtils
  5. RandomUtils
  6. FileUtils
  7. StringUtils
  8. RootHeadPathFactory
  9. ConstraintGenerators
  10. ImplicitContraints
  11. ImplicitModelElemEnrichments
  12. ImplicitAttributeEnrichments
  13. ImplicitStringSelector
  14. ImplicitFactoryObjects
  15. CanMakeAttr
  16. GuiLaunchers
  17. GlobalConstants
  18. Init
  19. AnyRef
  20. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class AbsXeqY(x: Var, y: Var) extends Constr2 with PrimitiveConstr with scala.Product with Serializable
  2. trait AbstractSelector extends Selector
  3. case class Actor(id: String) extends Context with scala.Product with Serializable
  4. case class AllDifferent(seq1: Seq[Var]) extends ConstrSeq1 with scala.Product with Serializable
  5. case class And(constraints: Seq[Constr]) extends CompoundConstr with scala.Product with Serializable
  6. case class AndSelector(left: Selector, right: Selector) extends Selector with scala.Product with Serializable
  7. case class App(id: String) extends Context with scala.Product with Serializable
  8. case class Attr(value: String) extends StringAttribute with scala.Product with Serializable
  9. trait AttrMaker[T <: Attribute[_]] extends AnyRef
  10. case class AttrRef[T](init: HeadPath, attrType: AttributeType[T]) extends Path with scala.Product with Serializable
  11. case class AttrVal[T](init: HeadPath, attr: Attribute[T]) extends NodePath with scala.Product with Serializable
  12. trait Attribute[T] extends Node with MapTo with HasValue[T] with CanBeMapped
  13. trait AttributeType[T] extends Key with TypeObject with HasDefault[T]
  14. case class Barrier(id: String) extends QualityReq with scala.Product with Serializable
  15. case class Benefit(value: Int) extends IntAttribute with scala.Product with Serializable
  16. case class Binpacking(item: Vector[Var], load: Vector[Var], size: Vector[Int]) extends ConstrSeq2ConstSeq1 with scala.Product with Serializable
  17. trait BoundingConstr extends AnyRef
  18. case class Bounds(seq1: Seq[Var], domain: Seq[Interval]) extends ConstrSeq1 with BoundingConstr with scala.Product with Serializable
  19. case class Breakpoint(id: String) extends QualityReq with scala.Product with Serializable
  20. trait CanBeMapped extends AnyRef

    A mixin trait for types that can be converted to a Map key-value-pair.

  21. trait CanMakeAttr extends AnyRef
  22. case class Capacity(value: Int) extends IntAttribute with scala.Product with Serializable
  23. case class Class(id: String) extends DataReq with scala.Product with Serializable
  24. case class Code(value: String) extends StringAttribute with scala.Product with Serializable
  25. case class Comment(value: String) extends StringAttribute with scala.Product with Serializable
  26. case class Component(id: String) extends Context with scala.Product with Serializable
  27. trait CompoundConstr extends Constr
  28. trait CompoundConstr1 extends CompoundConstr
  29. trait CompoundConstr1Var1 extends CompoundConstr1
  30. trait CompoundConstr2 extends CompoundConstr
  31. trait CompoundConstr3 extends CompoundConstr
  32. sealed trait Conclusion extends AnyRef
  33. trait Constr extends Variables
  34. trait Constr1BoolConst extends Constr
  35. trait Constr1IntConst extends Constr
  36. trait Constr1Seq1 extends Constr
  37. trait Constr1Seq1IntConst extends Constr
  38. trait Constr2 extends Constr
  39. trait Constr2Seq1 extends Constr
  40. trait Constr3 extends Constr
  41. trait ConstrMatrix extends Constr
  42. trait ConstrSeq1 extends Constr
  43. trait ConstrSeq2ConstSeq1 extends Constr
  44. trait ConstrVectorAttribute extends VectorAttribute[Constr]
  45. trait ConstrVectorType extends VectorType[Constr]
  46. trait ConstraintGenerators extends AnyRef
  47. case class ConstraintProblem(cs: Seq[Constr]) extends scala.Product with Serializable
  48. case class Constraints(value: Vector[Constr]) extends ConstrVectorAttribute with scala.Product with Serializable
  49. trait Context extends Entity
  50. case class Cost(value: Int) extends IntAttribute with scala.Product with Serializable
  51. case class Count(seq1: Seq[Var], x: Var, c: Int) extends Constr1Seq1IntConst with scala.Product with Serializable
  52. trait DSL extends AnyRef

    The base trait for the reqT DSL (a requirement Tool Domain Specific Language).

  53. case class Damage(value: Int) extends IntAttribute with scala.Product with Serializable
  54. case class Data(id: String) extends DataReq with scala.Product with Serializable
  55. trait DataReq extends Requirement
  56. trait DebugUtils extends AnyRef
  57. case class Deprecated(value: String) extends StringAttribute with scala.Product with Serializable
  58. case class Design(id: String) extends DesignReq with scala.Product with Serializable
  59. trait DesignReq extends Requirement
  60. case class Diff2(rectangles: Vector[Vector[Var]]) extends ConstrMatrix with scala.Product with Serializable
  61. case class Distance(x: Var, y: Var, z: Var) extends Constr3 with PrimitiveConstr with scala.Product with Serializable
  62. case class Domain(id: String) extends Context with scala.Product with Serializable
  63. sealed trait Elem extends DSL with HasType with CanBeMapped with Selector
  64. case class Ent(id: String) extends Entity with scala.Product with Serializable
  65. sealed trait Entity extends Node with HeadFactory with RelationFactory
  66. trait EntityType extends TypeObject with HeadTypeFactory
  67. trait Enum[T <: Ordered[T]] extends Ordered[T]
  68. trait EnumCompanion[T <: Ordered[T]] extends AnyRef
  69. case class Epic(id: String) extends GeneralReq with scala.Product with Serializable
  70. case class Event(id: String) extends FunctionalReq with scala.Product with Serializable
  71. case class Example(value: String) extends StringAttribute with scala.Product with Serializable
  72. case class Expectation(value: String) extends StringAttribute with scala.Product with Serializable
  73. case class Feature(id: String) extends GeneralReq with scala.Product with Serializable
  74. case class FileName(value: String) extends StringAttribute with scala.Product with Serializable
  75. trait FileUtils extends AnyRef
  76. implicit class StringSaver extends AnyRef
    Definition Classes
    FileUtils
  77. case class Frequency(value: Int) extends IntAttribute with scala.Product with Serializable
  78. case class Function(id: String) extends FunctionalReq with scala.Product with Serializable
  79. trait FunctionalReq extends Requirement
  80. trait General extends Entity
  81. trait GeneralReq extends Requirement
  82. case class Gist(value: String) extends StringAttribute with scala.Product with Serializable
  83. trait GlobalConstants extends AnyRef
  84. case class Goal(id: String) extends GeneralReq with scala.Product with Serializable
  85. trait GuiLaunchers extends AnyRef
  86. trait HasDefault[T] extends AnyRef

    A mixin trait for generic default attribute values.

  87. trait HasType extends AnyRef

    A mixin trait for runtime typing through case object values of type TypeObject.

  88. trait HasValue[T] extends AnyRef

    A mixin trait for generic attribute values.

  89. final class HashModel extends Model
  90. case class Head(entity: Entity, link: RelationType) extends Key with scala.Product with Serializable
  91. trait HeadFactory extends AnyRef
  92. case class HeadPath(heads: Vector[Head]) extends NodePath with scala.Product with Serializable
  93. case class HeadType(entityType: EntityType, link: RelationType) extends TypeObject with scala.Product with Serializable
  94. trait HeadTypeFactory extends AnyRef
  95. implicit class HelpDefineAny extends AnyRef
  96. case class Idea(id: String) extends GeneralReq with scala.Product with Serializable
  97. case class IfThen(c1: PrimitiveConstr, c2: PrimitiveConstr) extends CompoundConstr2 with PrimitiveConstr with scala.Product with Serializable
  98. case class IfThenBool(x: Var, y: Var, z: Var) extends Constr3 with PrimitiveConstr with scala.Product with Serializable
  99. case class IfThenElse(c1: PrimitiveConstr, c2: PrimitiveConstr, c3: PrimitiveConstr) extends CompoundConstr3 with PrimitiveConstr with scala.Product with Serializable
  100. case class Image(value: String) extends StringAttribute with scala.Product with Serializable
  101. trait ImplicitAttributeEnrichments extends AnyRef
  102. implicit class CodeRunnable extends AnyRef
    Definition Classes
    ImplicitAttributeEnrichments
  103. implicit class StatusFactory extends AnyRef
    Definition Classes
    ImplicitAttributeEnrichments
  104. implicit class StatusMachine extends AnyRef
    Definition Classes
    ImplicitAttributeEnrichments
  105. implicit class StatusValueMachine extends AnyRef
    Definition Classes
    ImplicitAttributeEnrichments
  106. trait ImplicitContraints extends AnyRef
  107. implicit class RangeIntervalOps extends AnyRef
    Definition Classes
    ImplicitContraints
  108. implicit class RangeSeqOps extends AnyRef
    Definition Classes
    ImplicitContraints
  109. trait ImplicitFactoryObjects extends CanMakeAttr
  110. implicit class StringToStatusValue extends AnyRef
    Definition Classes
    ImplicitFactoryObjects
  111. trait ImplicitModelElemEnrichments extends AnyRef
  112. implicit class ElemIterableToModel extends AnyRef
    Definition Classes
    ImplicitModelElemEnrichments
  113. implicit class KeyMapToTuple2ToElem extends AnyRef
    Definition Classes
    ImplicitModelElemEnrichments
  114. implicit class KeyValueSeqToModel extends AnyRef
    Definition Classes
    ImplicitModelElemEnrichments
  115. implicit class MapToModel extends AnyRef
    Definition Classes
    ImplicitModelElemEnrichments
  116. implicit class PathIterableToModel extends AnyRef
    Definition Classes
    ImplicitModelElemEnrichments
  117. implicit class StringIterableToModel extends AnyRef
    Definition Classes
    ImplicitModelElemEnrichments
  118. trait ImplicitStringSelector extends AnyRef
  119. case class IndexValue(index: Var, varSeq: Seq[Var], valueAtIndex: Var) extends Constr2Seq1 with scala.Product with Serializable
  120. trait Init extends AnyRef
  121. case class Input(id: String) extends DataReq with scala.Product with Serializable
  122. trait IntAttribute extends Attribute[Int]
  123. trait IntType extends AttributeType[Int]
  124. case class Interface(id: String) extends FunctionalReq with scala.Product with Serializable
  125. case class Interval(min: Int, max: Int) extends DSL with scala.Product with Serializable
  126. case class Issue(id: String) extends GeneralReq with scala.Product with Serializable
  127. case class Item(id: String) extends General with scala.Product with Serializable
  128. class JacopSolutions extends Solutions
  129. sealed trait Key extends DSL with Selector
  130. case class Label(id: String) extends General with scala.Product with Serializable
  131. final class ListModel extends Model
  132. sealed trait MapTo extends DSL with HasType
  133. case class Max(value: Int) extends IntAttribute with scala.Product with Serializable
  134. case class Maximize(cost: Var) extends Optimize with scala.Product with Serializable
  135. case class Member(id: String) extends DataReq with scala.Product with Serializable
  136. case class Meta(id: String) extends Entity with scala.Product with Serializable
  137. trait MetamodelTypes extends AnyRef
  138. case class Min(value: Int) extends IntAttribute with scala.Product with Serializable
  139. case class Minimize(cost: Var) extends Optimize with scala.Product with Serializable
  140. case class MockUp(id: String) extends DesignReq with scala.Product with Serializable
  141. trait Model extends MapTo with ModelImplementation
  142. trait ModelBase extends Serializable
  143. trait ModelBasicOps extends AnyRef
  144. trait ModelCompanion extends AnyRef
  145. trait ModelElemAccess extends AnyRef
  146. trait ModelEquality extends ModelBase

    A trait mixed in by Model, implementing the Scala equals contract.

    A trait mixed in by Model, implementing the Scala equals contract. The equals method uses structural equality, not considering order. The equals method delegates to the underlying Map implementations.

    Examples:

    The following expressions are true: reqT> Model(Req("x"), Req("y")) == Model(Req("y"), Req("x")) res1: Boolean = true

    reqT> ListModel(Req("x"), Req("y")) == HashModel(Req("y"), Req("x")) res2: Boolean = true

    If you want to test equality also with respect to order, use toSeq: reqT> Model(Req("x"), Req("y")).toSeq == Model(Req("y"), Req("x")).toSeq res2: Boolean = false

  147. trait ModelFromMap extends AnyRef
  148. case class ModelHistory(hist: Vector[(Model, Timestamp)]) extends scala.Product with Serializable
  149. trait ModelImplementation extends ModelBase with ModelBasicOps with ModelElemAccess with ModelEquality with ModelIterators with ModelSeparators with ModelTesting with ModelStatusOps
  150. trait ModelIterators extends ModelBase
  151. trait ModelSeparators extends AnyRef
  152. trait ModelStatusOps extends AnyRef
  153. trait ModelTesting extends AnyRef
  154. case class Module(id: String) extends Context with scala.Product with Serializable
  155. case class MulBuilder(x: Var, y: Var) extends scala.Product with Serializable
  156. trait NanoZap extends AnyRef

    reqT.NanoZap -- A minimalistic DSL for testing.

    reqT.NanoZap -- A minimalistic DSL for testing.

    Example usage

    object myTestCases extends NanoZap {
 def zap: Boolean = test("Arithmetic basics") {
   "basic addition" .
       test { 1 + 1 == 3 } +
   "associativity of multiplication" .
       test { 2 * 3 == 3 * 2 }
  }
}
        scala> myTestCases.zap
    NanoZap test(Arithmetic basics) ... ZAPPED!
** TEST FAILED: basic addition
    res0: Boolean = false
  157. implicit class StringTest extends AnyRef
    Definition Classes
    NanoZap
  158. sealed trait Node extends Elem
  159. sealed trait NodePath extends Path
  160. case class NotSelector(selector: Selector) extends Selector with scala.Product with Serializable
  161. sealed trait Optimize extends SearchType
  162. case class OrSelector(left: Selector, right: Selector) extends Selector with scala.Product with Serializable
  163. case class Order(value: Int) extends IntAttribute with scala.Product with Serializable
  164. case class Output(id: String) extends DataReq with scala.Product with Serializable
  165. sealed trait Path extends DSL
  166. case class PlusBuilder(x: Var, y: Var) extends scala.Product with Serializable
  167. trait PrimitiveConstr extends Constr
  168. case class Prio(value: Int) extends IntAttribute with scala.Product with Serializable
  169. case class Probability(value: Int) extends IntAttribute with scala.Product with Serializable
  170. case class Product(id: String) extends Context with scala.Product with Serializable
  171. case class Profit(value: Int) extends IntAttribute with scala.Product with Serializable
  172. case class Quality(id: String) extends QualityReq with scala.Product with Serializable
  173. trait QualityReq extends Requirement
  174. trait RandomUtils extends AnyRef
  175. case class Rectangle(x: Var, y: Var, dx: Var, dy: Var) extends Variables with scala.Product with Serializable
  176. case class Reified(c1: PrimitiveConstr, x: Var) extends CompoundConstr1Var1 with scala.Product with Serializable
  177. case class Relation(entity: Entity, link: RelationType, tail: Model) extends Elem with scala.Product with Serializable
  178. trait RelationFactory extends AnyRef
  179. trait RelationType extends TypeObject with HasType
  180. case class Relationship(id: String) extends DataReq with scala.Product with Serializable
  181. case class Release(id: String) extends Context with scala.Product with Serializable
  182. case class Req(id: String) extends GeneralReq with scala.Product with Serializable
  183. trait Requirement extends Entity
  184. case class Resource(id: String) extends Context with scala.Product with Serializable
  185. case class Result(conclusion: Conclusion, solutionCount: Int = 0, lastSolution: Map[Var, Int] = Map[Var, Int](), interruptOption: Option[SearchInterrupt] = None, solutionsOption: Option[Solutions] = None) extends scala.Product with Serializable
  186. case class Risk(id: String) extends Context with scala.Product with Serializable
  187. trait RootHeadPathFactory extends AnyRef
  188. case class Scenario(id: String) extends ScenarioReq with scala.Product with Serializable
  189. trait ScenarioReq extends Requirement
  190. case class Screen(id: String) extends DesignReq with scala.Product with Serializable
  191. case class Search(searchType: SearchType = jacop.Settings.defaultSearchType, timeOutOption: Option[Long] = None, solutionLimitOption: Option[Int] = None, valueSelection: ValueSelection = ..., variableSelection: VariableSelection = ..., assignOption: Option[Seq[Var]] = None) extends scala.Product with Serializable
  192. case class SearchFailed(msg: String) extends Conclusion with scala.Product with Serializable
  193. sealed trait SearchInterrupt extends AnyRef
  194. sealed trait SearchType extends AnyRef
  195. case class Section(id: String) extends General with scala.Product with Serializable
  196. case class Select(predicate: (Elem) ⇒ Boolean) extends Selector with scala.Product with Serializable
  197. sealed trait Selector extends AnyRef

    A marker trait for parameters to separation operators on Model.

  198. case class Service(id: String) extends Context with scala.Product with Serializable
  199. trait Solutions extends AnyRef

    http://www.jacop.eu/

  200. case class Spec(value: String) extends StringAttribute with scala.Product with Serializable
  201. case class Stakeholder(id: String) extends Context with scala.Product with Serializable
  202. case class State(id: String) extends FunctionalReq with scala.Product with Serializable
  203. case class Status(value: StatusValue) extends StatusValueAttribute with scala.Product with Serializable
  204. case class StatusHistory(hist: Vector[(Status, Timestamp)]) extends scala.Product with Serializable
  205. trait StatusValue extends Enum[StatusValue]
  206. trait StatusValueAttribute extends Attribute[StatusValue]
  207. trait StatusValueCompanion extends EnumCompanion[StatusValue]
  208. trait StatusValueType extends AttributeType[StatusValue]
  209. case class Story(id: String) extends ScenarioReq with scala.Product with Serializable
  210. trait StringAttribute extends Attribute[String]
  211. case class StringSelector(s: String) extends Selector with scala.Product with Serializable
  212. trait StringType extends AttributeType[String]
  213. trait StringUtils extends AnyRef
  214. implicit class EnrichedString extends AnyRef
    Definition Classes
    StringUtils
  215. case class SumBuilder(vs: Vector[Var]) extends scala.Product with Serializable
  216. case class SumEq(seq1: Seq[Var], x: Var) extends Constr1Seq1 with scala.Product with Serializable
  217. trait SysUtils extends AnyRef
  218. case class System(id: String) extends Context with scala.Product with Serializable
  219. case class Target(id: String) extends QualityReq with scala.Product with Serializable
  220. case class Task(id: String) extends ScenarioReq with scala.Product with Serializable
  221. case class Term(id: String) extends General with scala.Product with Serializable
  222. case class Test(id: String) extends ScenarioReq with scala.Product with Serializable
  223. case class Text(value: String) extends StringAttribute with scala.Product with Serializable
  224. case class Ticket(id: String) extends GeneralReq with scala.Product with Serializable
  225. case class Timestamp(date: Date) extends scala.Product with Serializable
  226. case class Title(value: String) extends StringAttribute with scala.Product with Serializable
  227. sealed trait TypeObject extends Selector

    A marker trait for types of runtime typing using case objects.

  228. case class UseCase(id: String) extends ScenarioReq with scala.Product with Serializable
  229. case class User(id: String) extends Context with scala.Product with Serializable
  230. case class Value(value: Int) extends IntAttribute with scala.Product with Serializable
  231. case class Var(ref: AnyRef) extends DSL with scala.Product with Serializable
  232. trait VariabilityReq extends Requirement
  233. trait Variables extends DSL
  234. case class Variant(id: String) extends VariabilityReq with scala.Product with Serializable
  235. case class VariationPoint(id: String) extends VariabilityReq with scala.Product with Serializable
  236. trait VectorAttribute[T] extends Attribute[Vector[T]]
  237. trait VectorType[T] extends AttributeType[Vector[T]]
  238. case class Why(value: String) extends StringAttribute with scala.Product with Serializable
  239. case class WorkPackage(id: String) extends GeneralReq with scala.Product with Serializable
  240. case class XdivYeqZ(x: Var, y: Var, z: Var) extends Constr3 with PrimitiveConstr with scala.Product with Serializable
  241. case class XeqBool(x: Var, c: Boolean) extends Constr1BoolConst with PrimitiveConstr with scala.Product with Serializable
  242. case class XeqC(x: Var, c: Int) extends Constr1IntConst with PrimitiveConstr with scala.Product with Serializable
  243. case class XeqY(x: Var, y: Var) extends Constr2 with PrimitiveConstr with scala.Product with Serializable
  244. case class XexpYeqZ(x: Var, y: Var, z: Var) extends Constr3 with PrimitiveConstr with scala.Product with Serializable
  245. case class XgtC(x: Var, c: Int) extends Constr1IntConst with PrimitiveConstr with scala.Product with Serializable
  246. case class XgtY(x: Var, y: Var) extends Constr2 with PrimitiveConstr with scala.Product with Serializable
  247. case class XgteqC(x: Var, c: Int) extends Constr1IntConst with PrimitiveConstr with scala.Product with Serializable
  248. case class XgteqY(x: Var, y: Var) extends Constr2 with PrimitiveConstr with scala.Product with Serializable
  249. case class XltC(x: Var, c: Int) extends Constr1IntConst with PrimitiveConstr with scala.Product with Serializable
  250. case class XltY(x: Var, y: Var) extends Constr2 with PrimitiveConstr with scala.Product with Serializable
  251. case class XlteqC(x: Var, c: Int) extends Constr1IntConst with PrimitiveConstr with scala.Product with Serializable
  252. case class XlteqY(x: Var, y: Var) extends Constr2 with PrimitiveConstr with scala.Product with Serializable
  253. case class XmulYeqZ(x: Var, y: Var, z: Var) extends Constr3 with PrimitiveConstr with scala.Product with Serializable
  254. case class XneqC(x: Var, c: Int) extends Constr1IntConst with PrimitiveConstr with scala.Product with Serializable
  255. case class XneqY(x: Var, y: Var) extends Constr2 with PrimitiveConstr with scala.Product with Serializable
  256. case class XplusYeqZ(x: Var, y: Var, z: Var) extends Constr3 with PrimitiveConstr with scala.Product with Serializable
  257. case class XplusYlteqZ(x: Var, y: Var, z: Var) extends Constr3 with PrimitiveConstr with scala.Product with Serializable

Value Members

  1. def /: HeadPath
    Definition Classes
    RootHeadPathFactory
  2. lazy val LICENCE: String
    Definition Classes
    GlobalConstants
  3. lazy val PREAMBLE: String
    Definition Classes
    GlobalConstants
  4. val SCALA_VERSION: String
    Definition Classes
    GlobalConstants
  5. implicit def attrRefToVar(ar: AttrRef[Int]): Var
    Definition Classes
    ImplicitContraints
  6. lazy val attributeFromString: Map[String, (String) ⇒ Attribute[_]]
    Definition Classes
    ImplicitFactoryObjects
  7. def bigHashModel(n: Int): Model
    Definition Classes
    DebugUtils
  8. def bigModel(n: Int): Model
    Definition Classes
    DebugUtils
  9. def cd: Unit
    Definition Classes
    FileUtils
  10. def cd(d: String): Unit
    Definition Classes
    FileUtils
  11. implicit def constrToConstraints(c: Constr): Constraints
    Definition Classes
    ImplicitContraints
  12. implicit def constrVectorToCP(cs: Vector[Constr]): ConstraintProblem
    Definition Classes
    ImplicitContraints
  13. implicit def constrVectorToConst(cs: Vector[Constr]): Constraints
    Definition Classes
    ImplicitContraints
  14. implicit def constraintsToCP(cs: Constraints): ConstraintProblem
    Definition Classes
    ImplicitContraints
  15. implicit def constraintsToVector(cs: Constraints): Vector[Constr]
    Definition Classes
    ImplicitContraints
  16. def currentTree: Model
    Definition Classes
    GuiLaunchers
  17. def currentTreeNode: Model
    Definition Classes
    GuiLaunchers
  18. def desktopOpen(f: String): Unit
    Definition Classes
    SysUtils
  19. def dir(d: String): Unit
    Definition Classes
    FileUtils
  20. def dir: Unit
    Definition Classes
    FileUtils
  21. def dotCmd(fileName: String, format: String = "pdf", layout: String = "dot", moreArgs: Seq[String] = Seq()): Seq[String]
    Definition Classes
    SysUtils
  22. def edit(m: Model, fileName: String): ModelTreeEditor
    Definition Classes
    GuiLaunchers
  23. def edit(fileName: String): ModelTreeEditor
    Definition Classes
    GuiLaunchers
  24. def edit(m: Model): ModelTreeEditor
    Definition Classes
    GuiLaunchers
  25. def edit(): ModelTreeEditor
    Definition Classes
    GuiLaunchers
  26. lazy val entityFromString: Map[String, (String) ⇒ Entity]
    Definition Classes
    ImplicitFactoryObjects
  27. def fixCmd(cmd: Seq[String]): Seq[String]
    Definition Classes
    SysUtils
  28. def forAll[T1, T2, T3](x1s: Seq[T1], x2s: Seq[T2], x3s: Seq[T3])(f: (T1, T2, T3) ⇒ Constr): Constraints
    Definition Classes
    ConstraintGenerators
  29. def forAll[T1, T2](x1s: Seq[T1], x2s: Seq[T2])(f: (T1, T2) ⇒ Constr): Constraints
    Definition Classes
    ConstraintGenerators
  30. def forAll[T](xs: Seq[T])(f: (T) ⇒ Constr): Constraints
    Definition Classes
    ConstraintGenerators
  31. def init(intp: IMain = makeIMain()): Unit
    Definition Classes
    Init
  32. def initInterpreter(intp: IMain = makeIMain()): IMain
    Definition Classes
    Init
  33. def isDotInstalled: Boolean
    Definition Classes
    SysUtils
  34. def isWindows: Boolean
    Definition Classes
    SysUtils
  35. def load(fileName: String): String
    Definition Classes
    FileUtils
  36. def ls: Unit
    Definition Classes
    FileUtils
  37. def ls(d: String): Unit
    Definition Classes
    FileUtils
  38. def makeAttribute[T <: Attribute[_]](value: String)(implicit make: AttrMaker[T]): T
    Definition Classes
    CanMakeAttr
  39. def makeIMain(): IMain
    Definition Classes
    Init
  40. def mkdir(d: String): Boolean
    Definition Classes
    FileUtils
  41. implicit def modelToCP(m: Model): ConstraintProblem
    Definition Classes
    ImplicitContraints
  42. def nextId: Int
    Definition Classes
    DebugUtils
  43. def pwd: Unit
    Definition Classes
    FileUtils
  44. implicit def rangeToInterval(r: Range): Interval
    Definition Classes
    ImplicitContraints
  45. val reqT_BUILD: Int
    Definition Classes
    GlobalConstants
  46. val reqT_VERSION: String
    Definition Classes
    GlobalConstants
  47. def rndModel(n: Int = 7, div: Int = 2): Model
    Definition Classes
    RandomUtils
  48. def runCmd(cmd: Seq[String]): Int
    Definition Classes
    SysUtils
  49. implicit def seqAttrRefToVar(rs: Seq[AttrRef[Int]]): Seq[Var]
    Definition Classes
    ImplicitContraints
  50. implicit def stringToStringSelector(s: String): StringSelector
    Definition Classes
    ImplicitStringSelector
  51. def sumForAll[T](xs: Seq[T])(f: (T) ⇒ Var): SumBuilder
    Definition Classes
    ConstraintGenerators
  52. def test(name: String)(report: String): Boolean
    Definition Classes
    NanoZap
  53. def timed[T](block: ⇒ T): T
    Definition Classes
    DebugUtils
  54. def vars(n: Int, prefix: String): Vector[Var]
    Definition Classes
    ConstraintGenerators
  55. def vars[T <: AnyRef](vs: T*): Seq[Var]
    Definition Classes
    ConstraintGenerators
  56. object Actor extends EntityType with scala.Product with Serializable
  57. object And extends scala.Product with Serializable
  58. object App extends EntityType with scala.Product with Serializable
  59. object Attr extends StringType with scala.Product with Serializable
  60. object BagUtils
  61. object Barrier extends EntityType with scala.Product with Serializable
  62. object Benefit extends IntType with scala.Product with Serializable
  63. object Bounds extends Serializable
  64. object Breakpoint extends EntityType with scala.Product with Serializable
  65. object Capacity extends IntType with scala.Product with Serializable
  66. object Class extends EntityType with scala.Product with Serializable
  67. object Code extends StringType with scala.Product with Serializable
  68. object Comment extends StringType with scala.Product with Serializable
  69. object Component extends EntityType with scala.Product with Serializable
  70. object Constraints extends ConstrVectorType with scala.Product with Serializable
  71. object Context extends AbstractSelector with scala.Product with Serializable
  72. object Cost extends IntType with scala.Product with Serializable
  73. object CountAll extends SearchType with scala.Product with Serializable
  74. object DROPPED extends StatusValue with scala.Product with Serializable
  75. object Damage extends IntType with scala.Product with Serializable
  76. object Data extends EntityType with scala.Product with Serializable
  77. object DataReq extends AbstractSelector with scala.Product with Serializable
  78. object IdGenerator
    Definition Classes
    DebugUtils
  79. object Deprecated extends StringType with scala.Product with Serializable
  80. object Design extends EntityType with scala.Product with Serializable
  81. object DesignReq extends AbstractSelector with scala.Product with Serializable
  82. object Diff2 extends Serializable
  83. object Domain extends EntityType with scala.Product with Serializable
  84. object ELICITED extends StatusValue with scala.Product with Serializable
  85. object Ent extends EntityType with scala.Product with Serializable
  86. object Epic extends EntityType with scala.Product with Serializable
  87. object Event extends EntityType with scala.Product with Serializable
  88. object Example extends StringType with scala.Product with Serializable
  89. object Expectation extends StringType with scala.Product with Serializable
  90. object FAILED extends StatusValue with scala.Product with Serializable
  91. object Feature extends EntityType with scala.Product with Serializable
  92. object FileName extends StringType with scala.Product with Serializable
  93. object fileUtils
    Definition Classes
    FileUtils
  94. object FindAll extends SearchType with scala.Product with Serializable
  95. object Frequency extends IntType with scala.Product with Serializable
  96. object Function extends EntityType with scala.Product with Serializable
  97. object FunctionalReq extends AbstractSelector with scala.Product with Serializable
  98. object General extends AbstractSelector with scala.Product with Serializable
  99. object GeneralReq extends AbstractSelector with scala.Product with Serializable
  100. object Gist extends StringType with scala.Product with Serializable
  101. object Goal extends EntityType with scala.Product with Serializable
  102. object HashModel extends ModelCompanion with Serializable
  103. object HeadPath extends Serializable
  104. object IMPLEMENTED extends StatusValue with scala.Product with Serializable
  105. object Idea extends EntityType with scala.Product with Serializable
  106. object Image extends StringType with scala.Product with Serializable
  107. implicit object makeAttr extends AttrMaker[Attr]
    Definition Classes
    ImplicitFactoryObjects
  108. implicit object makeBenefit extends AttrMaker[Benefit]
    Definition Classes
    ImplicitFactoryObjects
  109. implicit object makeCapacity extends AttrMaker[Capacity]
    Definition Classes
    ImplicitFactoryObjects
  110. implicit object makeCode extends AttrMaker[Code]
    Definition Classes
    ImplicitFactoryObjects
  111. implicit object makeComment extends AttrMaker[Comment]
    Definition Classes
    ImplicitFactoryObjects
  112. implicit object makeConstraints extends AttrMaker[Constraints]
    Definition Classes
    ImplicitFactoryObjects
  113. implicit object makeCost extends AttrMaker[Cost]
    Definition Classes
    ImplicitFactoryObjects
  114. implicit object makeDamage extends AttrMaker[Damage]
    Definition Classes
    ImplicitFactoryObjects
  115. implicit object makeDeprecated extends AttrMaker[Deprecated]
    Definition Classes
    ImplicitFactoryObjects
  116. implicit object makeExample extends AttrMaker[Example]
    Definition Classes
    ImplicitFactoryObjects
  117. implicit object makeExpectation extends AttrMaker[Expectation]
    Definition Classes
    ImplicitFactoryObjects
  118. implicit object makeFileName extends AttrMaker[FileName]
    Definition Classes
    ImplicitFactoryObjects
  119. implicit object makeFrequency extends AttrMaker[Frequency]
    Definition Classes
    ImplicitFactoryObjects
  120. implicit object makeGist extends AttrMaker[Gist]
    Definition Classes
    ImplicitFactoryObjects
  121. implicit object makeImage extends AttrMaker[Image]
    Definition Classes
    ImplicitFactoryObjects
  122. implicit object makeMax extends AttrMaker[Max]
    Definition Classes
    ImplicitFactoryObjects
  123. implicit object makeMin extends AttrMaker[Min]
    Definition Classes
    ImplicitFactoryObjects
  124. implicit object makeOrder extends AttrMaker[Order]
    Definition Classes
    ImplicitFactoryObjects
  125. implicit object makePrio extends AttrMaker[Prio]
    Definition Classes
    ImplicitFactoryObjects
  126. implicit object makeProbability extends AttrMaker[Probability]
    Definition Classes
    ImplicitFactoryObjects
  127. implicit object makeProfit extends AttrMaker[Profit]
    Definition Classes
    ImplicitFactoryObjects
  128. implicit object makeSpec extends AttrMaker[Spec]
    Definition Classes
    ImplicitFactoryObjects
  129. implicit object makeStatus extends AttrMaker[Status]
    Definition Classes
    ImplicitFactoryObjects
  130. implicit object makeText extends AttrMaker[Text]
    Definition Classes
    ImplicitFactoryObjects
  131. implicit object makeTitle extends AttrMaker[Title]
    Definition Classes
    ImplicitFactoryObjects
  132. implicit object makeValue extends AttrMaker[Value]
    Definition Classes
    ImplicitFactoryObjects
  133. implicit object makeWhy extends AttrMaker[Why]
    Definition Classes
    ImplicitFactoryObjects
  134. object InconsistencyFound extends Conclusion with scala.Product with Serializable
  135. object Input extends EntityType with scala.Product with Serializable
  136. object Interface extends EntityType with scala.Product with Serializable
  137. object Issue extends EntityType with scala.Product with Serializable
  138. object Item extends EntityType with scala.Product with Serializable
  139. object Label extends EntityType with scala.Product with Serializable
  140. object ListModel extends ModelCompanion with Serializable
  141. object Main
  142. object Max extends IntType with scala.Product with Serializable
  143. object Member extends EntityType with scala.Product with Serializable
  144. object Meta extends EntityType with scala.Product with Serializable
  145. object Min extends IntType with scala.Product with Serializable
  146. object MockUp extends EntityType with scala.Product with Serializable
  147. object Model extends TypeObject with ModelCompanion with ModelFromMap with Serializable
  148. object Module extends EntityType with scala.Product with Serializable
  149. object NanoZap extends NanoZap
  150. object NoElem extends Elem with TypeObject with scala.Product with Serializable
  151. object NoEntity extends Entity with scala.Product with Serializable
  152. object NoEntityType extends EntityType with scala.Product with Serializable
  153. object NoLink extends RelationType with scala.Product with Serializable
  154. object Order extends IntType with scala.Product with Serializable
  155. object Output extends EntityType with scala.Product with Serializable
  156. object PLANNED extends StatusValue with scala.Product with Serializable
  157. object POSTPONED extends StatusValue with scala.Product with Serializable
  158. object Prio extends IntType with scala.Product with Serializable
  159. object Probability extends IntType with scala.Product with Serializable
  160. object Product extends EntityType with scala.Product with Serializable
  161. object Profit extends IntType with scala.Product with Serializable
  162. object Quality extends EntityType with scala.Product with Serializable
  163. object QualityReq extends AbstractSelector with scala.Product with Serializable
  164. object RELEASED extends StatusValue with scala.Product with Serializable
  165. object rnd
    Definition Classes
    RandomUtils
  166. object Relation extends TypeObject with scala.Product with Serializable
  167. object Relationship extends EntityType with scala.Product with Serializable
  168. object Release extends EntityType with scala.Product with Serializable
  169. object Req extends EntityType with scala.Product with Serializable
  170. object Requirement extends AbstractSelector with scala.Product with Serializable
  171. object Resource extends EntityType with scala.Product with Serializable
  172. object Risk extends EntityType with scala.Product with Serializable
  173. object SPECIFIED extends StatusValue with scala.Product with Serializable
  174. object Satisfy extends SearchType with scala.Product with Serializable
  175. object Scenario extends EntityType with scala.Product with Serializable
  176. object ScenarioReq extends AbstractSelector with scala.Product with Serializable
  177. object Screen extends EntityType with scala.Product with Serializable
  178. object SearchTimeOut extends SearchInterrupt with scala.Product with Serializable
  179. object Section extends EntityType with scala.Product with Serializable
  180. object Service extends EntityType with scala.Product with Serializable
  181. object Settings
    Annotations
    @volatile()
  182. object SolutionFound extends Conclusion with scala.Product with Serializable
  183. object SolutionLimitReached extends SearchInterrupt with scala.Product with Serializable
  184. object SolutionNotFound extends Conclusion with scala.Product with Serializable
  185. object Spec extends StringType with scala.Product with Serializable
  186. object Stakeholder extends EntityType with scala.Product with Serializable
  187. object State extends EntityType with scala.Product with Serializable
  188. object Status extends StatusValueType with scala.Product with Serializable
  189. object StatusValue extends StatusValueCompanion with scala.Product with Serializable
  190. object Story extends EntityType with scala.Product with Serializable
  191. object strUtils
    Definition Classes
    StringUtils
  192. object Sum
  193. object System extends EntityType with scala.Product with Serializable
  194. object TESTED extends StatusValue with scala.Product with Serializable
  195. object Target extends EntityType with scala.Product with Serializable
  196. object Task extends EntityType with scala.Product with Serializable
  197. object Term extends EntityType with scala.Product with Serializable
  198. object Test extends EntityType with scala.Product with Serializable
  199. object Text extends StringType with scala.Product with Serializable
  200. object Ticket extends EntityType with scala.Product with Serializable
  201. object Timestamp extends scala.Product with Serializable
  202. object Title extends StringType with scala.Product with Serializable
  203. object UseCase extends EntityType with scala.Product with Serializable
  204. object User extends EntityType with scala.Product with Serializable
  205. object VALIDATED extends StatusValue with scala.Product with Serializable
  206. object Value extends IntType with scala.Product with Serializable
  207. object VariabilityReq extends AbstractSelector with scala.Product with Serializable
  208. object Variant extends EntityType with scala.Product with Serializable
  209. object VariationPoint extends EntityType with scala.Product with Serializable
  210. object Why extends StringType with scala.Product with Serializable
  211. object WorkPackage extends EntityType with scala.Product with Serializable
  212. object binds extends RelationType with scala.Product with Serializable
  213. object defaultEmptyModel
  214. object deprecates extends RelationType with scala.Product with Serializable
  215. object excludes extends RelationType with scala.Product with Serializable
  216. object gui
  217. object has extends RelationType with scala.Product with Serializable
  218. object helps extends RelationType with scala.Product with Serializable
  219. object hurts extends RelationType with scala.Product with Serializable
  220. object impacts extends RelationType with scala.Product with Serializable
  221. object implements extends RelationType with scala.Product with Serializable
  222. object interactsWith extends RelationType with scala.Product with Serializable
  223. object is extends RelationType with scala.Product with Serializable
  224. object jacop
  225. object killSwingVerbosity
  226. object metamodel extends MetamodelTypes
  227. object precedes extends RelationType with scala.Product with Serializable
  228. object quper
  229. object relatesTo extends RelationType with scala.Product with Serializable
  230. object repl
  231. object requires extends RelationType with scala.Product with Serializable
  232. object superOf extends RelationType with scala.Product with Serializable
  233. object svgDiagrams
  234. object svgUtil
  235. object todo
  236. object verifies extends RelationType with scala.Product with Serializable

Inherited from NanoZap

Inherited from DebugUtils

Inherited from SysUtils

Inherited from RandomUtils

Inherited from FileUtils

Inherited from StringUtils

Inherited from RootHeadPathFactory

Inherited from ConstraintGenerators

Inherited from ImplicitContraints

Inherited from ImplicitModelElemEnrichments

Inherited from ImplicitAttributeEnrichments

Inherited from ImplicitStringSelector

Inherited from ImplicitFactoryObjects

Inherited from CanMakeAttr

Inherited from GuiLaunchers

Inherited from GlobalConstants

Inherited from Init

Inherited from AnyRef

Inherited from Any

Ungrouped