de
.
fosd
.
typechef
.
featureexpr
.
sat
SATFeatureExprFactory
object
SATFeatureExprFactory
extends
AbstractFeatureExprFactory
Linear Supertypes
AbstractFeatureExprFactory
,
FeatureExprTreeFactory
,
FeatureExprValueOps
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
SATFeatureExprFactory
AbstractFeatureExprFactory
FeatureExprTreeFactory
FeatureExprValueOps
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
val
False
:
FeatureExpr
Definition Classes
SATFeatureExprFactory
→
AbstractFeatureExprFactory
→
FeatureExprTreeFactory
val
True
:
FeatureExpr
Definition Classes
SATFeatureExprFactory
→
AbstractFeatureExprFactory
→
FeatureExprTreeFactory
def
applyBinaryOperation
[
T
,
U
]
(
left:
FeatureExprTree
[
T
]
,
right:
FeatureExprTree
[
T
]
)
(
operation: (
T
,
T
) ⇒
U
)
(
implicit
arg0: (
U
) ⇒
FeatureExprTree
[
T
]
)
:
FeatureExprTree
[
T
]
Definition Classes
FeatureExprTreeFactory
def
applyUnaryOperation
[
T
]
(
expr:
FeatureExprTree
[
T
]
)
(
operation: (
T
) ⇒
T
)
:
FeatureExprTree
[
T
]
Definition Classes
FeatureExprTreeFactory
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
val
baseB
:
SATFeatureExpr
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
createBitAnd
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExprTree
[
Long
]
Definition Classes
FeatureExprTreeFactory
def
createBitOr
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExprTree
[
Long
]
Definition Classes
FeatureExprTreeFactory
def
createBooleanIf
(
expr:
FeatureExpr
,
thenBr:
FeatureExpr
,
elseBr:
FeatureExpr
)
:
FeatureExpr
Definition Classes
FeatureExprTreeFactory
def
createCharacter
(
value:
Char
)
:
FeatureExprValue
Definition Classes
FeatureExprTreeFactory
def
createComplement
(
expr:
FeatureExprValue
)
:
FeatureExprValue
Definition Classes
FeatureExprTreeFactory
def
createDefinedExternal
(
name:
String
)
:
SingleFeatureExpr
Definition Classes
SATFeatureExprFactory
→
AbstractFeatureExprFactory
def
createDefinedMacro
(
name:
String
,
macroTable:
FeatureProvider
)
:
FeatureExpr
Definition Classes
SATFeatureExprFactory
→
AbstractFeatureExprFactory
def
createDivision
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExprValue
Definition Classes
FeatureExprTreeFactory
def
createEquals
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExpr
Definition Classes
FeatureExprTreeFactory
def
createFeatureExprFast
(
enabledFeatures:
Set
[
SingleFeatureExpr
]
,
disabledFeatures:
Set
[
SingleFeatureExpr
]
)
:
FeatureExpr
Definition Classes
SATFeatureExprFactory
→
AbstractFeatureExprFactory
def
createGreaterThan
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExpr
Definition Classes
FeatureExprTreeFactory
def
createGreaterThanEquals
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExpr
Definition Classes
FeatureExprTreeFactory
def
createIf
[
T
]
(
expr:
FeatureExpr
,
thenBr:
FeatureExprTree
[
T
]
,
elseBr:
FeatureExprTree
[
T
]
)
:
FeatureExprTree
[
T
]
Definition Classes
FeatureExprTreeFactory
def
createInteger
(
value:
Long
)
:
FeatureExprValue
Definition Classes
FeatureExprTreeFactory
def
createLessThan
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExpr
Definition Classes
FeatureExprTreeFactory
def
createLessThanEquals
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExpr
Definition Classes
FeatureExprTreeFactory
def
createMinus
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExprTree
[
Long
]
Definition Classes
FeatureExprTreeFactory
def
createModulo
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExprTree
[
Long
]
Definition Classes
FeatureExprTreeFactory
def
createMult
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExprTree
[
Long
]
Definition Classes
FeatureExprTreeFactory
def
createNeg
(
expr:
FeatureExprValue
)
:
FeatureExprTree
[
Long
]
Definition Classes
FeatureExprTreeFactory
def
createNotEquals
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExpr
Definition Classes
FeatureExprTreeFactory
def
createPlus
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExprTree
[
Long
]
Definition Classes
FeatureExprTreeFactory
def
createPwr
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExprTree
[
Long
]
Definition Classes
FeatureExprTreeFactory
def
createShiftLeft
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExprTree
[
Long
]
Definition Classes
FeatureExprTreeFactory
def
createShiftRight
(
left:
FeatureExprValue
,
right:
FeatureExprValue
)
:
FeatureExprTree
[
Long
]
Definition Classes
FeatureExprTreeFactory
def
createValue
[
T
]
(
v:
T
)
:
FeatureExprTree
[
T
]
Definition Classes
FeatureExprTreeFactory
→
FeatureExprValueOps
val
deadB
:
SATFeatureExpr
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
evalRelation
[
T
]
(
smaller:
FeatureExprTree
[
T
]
,
larger:
FeatureExprTree
[
T
]
)
(
relation: (
T
,
T
) ⇒
Boolean
)
:
FeatureExpr
Definition Classes
FeatureExprTreeFactory
def
featureModelFactory
:
FeatureModelFactory
Definition Classes
SATFeatureExprFactory
→
AbstractFeatureExprFactory
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
implicit
def
long2value
(
x:
Long
)
:
FeatureExprValue
Definition Classes
FeatureExprValueOps
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
AbstractFeatureExprFactory
Inherited from
FeatureExprTreeFactory
Inherited from
FeatureExprValueOps
Inherited from
AnyRef
Inherited from
Any
Ungrouped