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

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)