|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IDoubleValue | |
---|---|
edu.ksu.cis.projects.bogor.module | Provide a generic framework for dataflow analysis on BIR transition systems. |
edu.ksu.cis.projects.bogor.module.backtrack | Provides types and factories for "undo" operations. |
edu.ksu.cis.projects.bogor.module.value | Provides for Bogor values. |
Uses of IDoubleValue in edu.ksu.cis.projects.bogor.module |
---|
Methods in edu.ksu.cis.projects.bogor.module that return IDoubleValue | |
---|---|
IDoubleValue |
DefaultExpEvaluator.evaluateCastDouble(IFloatValue value)
|
IDoubleValue |
IExpEvaluator.evaluateCastDouble(IFloatValue value)
|
IDoubleValue |
DefaultExpEvaluator.evaluateCastDouble(IIntValue value)
|
IDoubleValue |
IExpEvaluator.evaluateCastDouble(IIntValue value)
|
IDoubleValue |
DefaultExpEvaluator.evaluateCastDouble(ILongValue value)
|
IDoubleValue |
IExpEvaluator.evaluateCastDouble(ILongValue value)
|
IDoubleValue |
DefaultExpEvaluator.evaluateUnaryOp(UnaryOp unop,
IDoubleValue value)
|
IDoubleValue |
IExpEvaluator.evaluateUnaryOp(UnaryOp unop,
IDoubleValue value)
|
IDoubleValue |
IValueFactory.newDoubleValue(double d)
Creates a double value. |
Methods in edu.ksu.cis.projects.bogor.module with parameters of type IDoubleValue | |
---|---|
IValue |
DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop,
IDoubleValue value1,
IDoubleValue value2)
|
IValue |
IExpEvaluator.evaluateBinaryOp(BinaryOp binop,
IDoubleValue value1,
IDoubleValue value2)
|
IIntValue |
DefaultExpEvaluator.evaluateCast(IntType castType,
IDoubleValue value)
|
IIntValue |
IExpEvaluator.evaluateCast(IntType castType,
IDoubleValue value)
|
ILongValue |
DefaultExpEvaluator.evaluateCast(LongType castType,
IDoubleValue value)
|
ILongValue |
IExpEvaluator.evaluateCast(LongType castType,
IDoubleValue value)
|
IFloatValue |
DefaultExpEvaluator.evaluateCastFloat(IDoubleValue value)
|
IFloatValue |
IExpEvaluator.evaluateCastFloat(IDoubleValue value)
|
IDoubleValue |
DefaultExpEvaluator.evaluateUnaryOp(UnaryOp unop,
IDoubleValue value)
|
IDoubleValue |
IExpEvaluator.evaluateUnaryOp(UnaryOp unop,
IDoubleValue value)
|
void |
DefaultStateExternalizer.externalizeDoubleValue(int indents,
IDoubleValue value)
|
Uses of IDoubleValue in edu.ksu.cis.projects.bogor.module.backtrack |
---|
Methods in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type IDoubleValue | |
---|---|
IGlobalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId,
int threadId,
Action action,
int globalIndex,
IDoubleValue oldValue,
ISchedulingStrategyInfo ssi)
|
ILocalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId,
int threadId,
Node node,
int localIndex,
IDoubleValue oldValue,
ISchedulingStrategyInfo ssi)
|
Uses of IDoubleValue in edu.ksu.cis.projects.bogor.module.value |
---|
Classes in edu.ksu.cis.projects.bogor.module.value that implement IDoubleValue | |
---|---|
class |
DefaultDoubleValue
The default implementation of IDoubleValue . |
Methods in edu.ksu.cis.projects.bogor.module.value that return IDoubleValue | |
---|---|
IDoubleValue |
DefaultDoubleValue.clone(Map<Object,Object> cloneMap)
|
IDoubleValue |
IDoubleValue.clone(Map<Object,Object> cloneMap)
Override to specialize return type |
IDoubleValue |
DefaultValueFactory.newDoubleValue(double d)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |