de.fosd.typechef.featureexpr.sat

SATFeatureExprFactory

object SATFeatureExprFactory extends AbstractFeatureExprFactory

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. SATFeatureExprFactory
  2. AbstractFeatureExprFactory
  3. FeatureExprTreeFactory
  4. FeatureExprValueOps
  5. AnyRef
  6. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. val False: FeatureExpr

  7. val True: FeatureExpr

  8. def applyBinaryOperation[T, U](left: FeatureExprTree[T], right: FeatureExprTree[T])(operation: (T, T) ⇒ U)(implicit arg0: (U) ⇒ FeatureExprTree[T]): FeatureExprTree[T]

    Definition Classes
    FeatureExprTreeFactory
  9. def applyUnaryOperation[T](expr: FeatureExprTree[T])(operation: (T) ⇒ T): FeatureExprTree[T]

    Definition Classes
    FeatureExprTreeFactory
  10. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  11. val baseB: SATFeatureExpr

  12. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  13. def createBitAnd(left: FeatureExprValue, right: FeatureExprValue): FeatureExprTree[Long]

    Definition Classes
    FeatureExprTreeFactory
  14. def createBitOr(left: FeatureExprValue, right: FeatureExprValue): FeatureExprTree[Long]

    Definition Classes
    FeatureExprTreeFactory
  15. def createBooleanIf(expr: FeatureExpr, thenBr: FeatureExpr, elseBr: FeatureExpr): FeatureExpr

    Definition Classes
    FeatureExprTreeFactory
  16. def createCharacter(value: Char): FeatureExprValue

    Definition Classes
    FeatureExprTreeFactory
  17. def createComplement(expr: FeatureExprValue): FeatureExprValue

    Definition Classes
    FeatureExprTreeFactory
  18. def createDefinedExternal(name: String): SingleFeatureExpr

  19. def createDefinedMacro(name: String, macroTable: FeatureProvider): FeatureExpr

  20. def createDivision(left: FeatureExprValue, right: FeatureExprValue): FeatureExprValue

    Definition Classes
    FeatureExprTreeFactory
  21. def createEquals(left: FeatureExprValue, right: FeatureExprValue): FeatureExpr

    Definition Classes
    FeatureExprTreeFactory
  22. def createFeatureExprFast(enabledFeatures: Set[SingleFeatureExpr], disabledFeatures: Set[SingleFeatureExpr]): FeatureExpr

  23. def createGreaterThan(left: FeatureExprValue, right: FeatureExprValue): FeatureExpr

    Definition Classes
    FeatureExprTreeFactory
  24. def createGreaterThanEquals(left: FeatureExprValue, right: FeatureExprValue): FeatureExpr

    Definition Classes
    FeatureExprTreeFactory
  25. def createIf[T](expr: FeatureExpr, thenBr: FeatureExprTree[T], elseBr: FeatureExprTree[T]): FeatureExprTree[T]

    Definition Classes
    FeatureExprTreeFactory
  26. def createInteger(value: Long): FeatureExprValue

    Definition Classes
    FeatureExprTreeFactory
  27. def createLessThan(left: FeatureExprValue, right: FeatureExprValue): FeatureExpr

    Definition Classes
    FeatureExprTreeFactory
  28. def createLessThanEquals(left: FeatureExprValue, right: FeatureExprValue): FeatureExpr

    Definition Classes
    FeatureExprTreeFactory
  29. def createMinus(left: FeatureExprValue, right: FeatureExprValue): FeatureExprTree[Long]

    Definition Classes
    FeatureExprTreeFactory
  30. def createModulo(left: FeatureExprValue, right: FeatureExprValue): FeatureExprTree[Long]

    Definition Classes
    FeatureExprTreeFactory
  31. def createMult(left: FeatureExprValue, right: FeatureExprValue): FeatureExprTree[Long]

    Definition Classes
    FeatureExprTreeFactory
  32. def createNeg(expr: FeatureExprValue): FeatureExprTree[Long]

    Definition Classes
    FeatureExprTreeFactory
  33. def createNotEquals(left: FeatureExprValue, right: FeatureExprValue): FeatureExpr

    Definition Classes
    FeatureExprTreeFactory
  34. def createPlus(left: FeatureExprValue, right: FeatureExprValue): FeatureExprTree[Long]

    Definition Classes
    FeatureExprTreeFactory
  35. def createPwr(left: FeatureExprValue, right: FeatureExprValue): FeatureExprTree[Long]

    Definition Classes
    FeatureExprTreeFactory
  36. def createShiftLeft(left: FeatureExprValue, right: FeatureExprValue): FeatureExprTree[Long]

    Definition Classes
    FeatureExprTreeFactory
  37. def createShiftRight(left: FeatureExprValue, right: FeatureExprValue): FeatureExprTree[Long]

    Definition Classes
    FeatureExprTreeFactory
  38. def createValue[T](v: T): FeatureExprTree[T]

  39. val deadB: SATFeatureExpr

  40. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  41. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  42. def evalRelation[T](smaller: FeatureExprTree[T], larger: FeatureExprTree[T])(relation: (T, T) ⇒ Boolean): FeatureExpr

    Definition Classes
    FeatureExprTreeFactory
  43. def featureModelFactory: FeatureModelFactory

  44. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  45. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  46. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  47. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  48. implicit def long2value(x: Long): FeatureExprValue

    Definition Classes
    FeatureExprValueOps
  49. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  50. final def notify(): Unit

    Definition Classes
    AnyRef
  51. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  52. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  53. def toString(): String

    Definition Classes
    AnyRef → Any
  54. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  55. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  56. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from FeatureExprTreeFactory

Inherited from FeatureExprValueOps

Inherited from AnyRef

Inherited from Any

Ungrouped