Conditional

abstract def _toList(ctx: FeatureExpr): List[(FeatureExpr, T)]

abstract def canEqual(that: Any): Boolean

abstract def flatMap[U](f: (T) ⇒ Conditional[U]): Conditional[U]

apply a function to every alternative value of a Conditional data structure; may introduce new choices, results are merged into a new conditional

abstract def flatten[U >: T](f: (FeatureExpr, U, U) ⇒ U): U

flattens datastructure from a Conditional[T] to a single T with the provided merge function

abstract def forall(f: (T) ⇒ Boolean): Boolean

abstract def foreach[U](f: (T) ⇒ U): Unit

abstract def productArity: Int

abstract def productElement(n: Int): Any

abstract def select(selectedFeatures: Set[String]): T

given a configuration, returns the corresponding value for that configuration

abstract def vflatMap[U](ctx: FeatureExpr, f: (FeatureExpr, T) ⇒ Conditional[U]): Conditional[U]

apply a function to every alternative value of a Conditional data structure, propagating the current variability context in the process; may introduce new choices, results are merged into a new conditional

abstract def when(f: (T) ⇒ Boolean): FeatureExpr

returns the condition when predicate f is true

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def _simplify(context: FeatureExpr, fm: FeatureModel): Conditional[T]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def exists(f: (T) ⇒ Boolean): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def map[U](f: (T) ⇒ U): Conditional[U]

apply a function to every alternative value of a Conditional data structure

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def productIterator: Iterator[Any]

def productPrefix: String

def simplify(fm: FeatureModel): Conditional[T]

def simplify(ctx: FeatureExpr): Conditional[T]

def simplify: Conditional[T]

simplify rewrites choices, removing infeasible paths and possibly equal entries.

final def synchronized[T0](arg0: ⇒ T0): T0

def toList: List[(FeatureExpr, T)]

Function toList returns a list with all conditional values of this data structure, each value with a corresponding condition

def toOptList: List[Opt[T]]

def toString(): String

def vmap[U](ctx: FeatureExpr, f: (FeatureExpr, T) ⇒ U): Conditional[U]

apply a function to every alternative value of a Conditional data structure, propagating the current variability context in the process

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def mapf: (FeatureExpr, (FeatureExpr, T) ⇒ Nothing) ⇒ Conditional[Nothing]

def mapfr: (FeatureExpr, (FeatureExpr, T) ⇒ Conditional[Nothing]) ⇒ Conditional[Nothing]

def mapr: ((T) ⇒ Conditional[Nothing]) ⇒ Conditional[Nothing]