Uses of Interface
edu.ksu.cis.projects.bogor.module.value.IFloatValue

Packages that use IFloatValue

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 IFloatValue in edu.ksu.cis.projects.bogor.module

Methods in edu.ksu.cis.projects.bogor.module that return IFloatValue

IFloatValue	DefaultExpEvaluator.evaluateCastFloat(IDoubleValue value)
IFloatValue	IExpEvaluator.evaluateCastFloat(IDoubleValue value)
IFloatValue	DefaultExpEvaluator.evaluateCastFloat(IIntValue value)
IFloatValue	IExpEvaluator.evaluateCastFloat(IIntValue value)
IFloatValue	DefaultExpEvaluator.evaluateCastFloat(ILongValue value)
IFloatValue	IExpEvaluator.evaluateCastFloat(ILongValue value)
IFloatValue	DefaultExpEvaluator.evaluateUnaryOp(UnaryOp unop, IFloatValue value)
IFloatValue	IExpEvaluator.evaluateUnaryOp(UnaryOp unop, IFloatValue value)
IFloatValue	IValueFactory.newFloatValue(float f) Creates a float value.

Methods in edu.ksu.cis.projects.bogor.module with parameters of type IFloatValue

IValue	DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop, IFloatValue value1, IFloatValue value2)
IValue	IExpEvaluator.evaluateBinaryOp(BinaryOp binop, IFloatValue value1, IFloatValue value2)
IIntValue	DefaultExpEvaluator.evaluateCast(IntType castType, IFloatValue value)
IIntValue	IExpEvaluator.evaluateCast(IntType castType, IFloatValue value)
ILongValue	DefaultExpEvaluator.evaluateCast(LongType castType, IFloatValue value)
ILongValue	IExpEvaluator.evaluateCast(LongType castType, IFloatValue value)
IDoubleValue	DefaultExpEvaluator.evaluateCastDouble(IFloatValue value)
IDoubleValue	IExpEvaluator.evaluateCastDouble(IFloatValue value)
IFloatValue	DefaultExpEvaluator.evaluateUnaryOp(UnaryOp unop, IFloatValue value)
IFloatValue	IExpEvaluator.evaluateUnaryOp(UnaryOp unop, IFloatValue value)
void	DefaultStateExternalizer.externalizeFloatValue(int indents, IFloatValue value)

Uses of IFloatValue in edu.ksu.cis.projects.bogor.module.backtrack

Methods in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type IFloatValue

IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IFloatValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IFloatValue oldValue, ISchedulingStrategyInfo ssi)

Uses of IFloatValue in edu.ksu.cis.projects.bogor.module.value

Classes in edu.ksu.cis.projects.bogor.module.value that implement IFloatValue

class

DefaultFloatValue The default implementation of IFloatValue.

Methods in edu.ksu.cis.projects.bogor.module.value that return IFloatValue

IFloatValue	DefaultFloatValue.clone(Map<Object,Object> cloneMap)
IFloatValue	IFloatValue.clone(Map<Object,Object> cloneMap) Override to specialize return type
IFloatValue	DefaultValueFactory.newFloatValue(float f)