A B C D E F G I L N P R S T U V W

S

setAltitude(double) - Method in class edu.hkust.afchecker.data.GPSCoordinate
set the altitude to alt
setAtomAssignments(int[]) - Method in class edu.hkust.afchecker.tool.FaultReport
set the atom assignment which trigger a undeterministic adaptation or adaptation race fault
setAtomIndex(String) - Method in class edu.hkust.afchecker.tool.FaultReport
set the atom index to ease fault inspection
setAtomList(ArrayList<Atom>) - Method in class edu.hkust.afchecker.tool.StateMachine
set the list of atomic propositions in the state machine
setBatteryLevel(Integer) - Method in class edu.hkust.afchecker.data.EnvironmentData
set the battery level to i
setBT_Device_List(ArrayList<String>) - Method in class edu.hkust.afchecker.data.EnvironmentData
set the list of discovered Bluetooth devices
setConfidenceThreshold(double) - Static method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraintInferenceEngine
set the confidence threshold of the association rule learning algorithm
setCurrentState(State) - Method in class edu.hkust.afchecker.model.Rule
set current state to state
setEnvironmentData(ArrayList<EnvironmentData>) - Method in class edu.hkust.afchecker.tool.Verifier
Users are expected to feed the environment data set into AFChecker before starting interactive verification mode
setFaultMessage(String) - Method in class edu.hkust.afchecker.tool.FaultReport
set the fault's message
setFaultType(int) - Method in class edu.hkust.afchecker.tool.FaultReport
set the type of the fault report
setGPS_Location(GPSCoordinate) - Method in class edu.hkust.afchecker.data.EnvironmentData
set GPS location
setGPS_Speed(Double) - Method in class edu.hkust.afchecker.data.EnvironmentData
set speed
setGPS_Valid(Boolean) - Method in class edu.hkust.afchecker.data.EnvironmentData
set GPS status
setGPSPrecision(double) - Static method in class edu.hkust.afchecker.data.GPSCoordinate
set the tolerable precision level for GPS
setGPSPrecision(double) - Method in class edu.hkust.afchecker.inferenceEngine.DeterministicConstraintInferenceEngine
set the tolerable GPS error level
setLatitude(double) - Method in class edu.hkust.afchecker.data.GPSCoordinate
set the latitude to lat
setLeftAtom(Atom) - Method in class edu.hkust.afchecker.inferenceEngine.Constraint
set the left atom of the constraint
setLeftAtomValue(boolean) - Method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraint
set the value of the left atom
setLongitude(double) - Method in class edu.hkust.afchecker.data.GPSCoordinate
set the longitude to lon
setName(String) - Method in class edu.hkust.afchecker.model.Atom
set the atom's name to pcvName
setName(String) - Method in class edu.hkust.afchecker.model.Rule
set the rule name to name
setName(String) - Method in class edu.hkust.afchecker.model.State
set the state name to stateName
setNewState(State) - Method in class edu.hkust.afchecker.model.Rule
set the next state to state
setNo(short) - Method in class edu.hkust.afchecker.model.Atom
set the atom's id to pcvNo
setNo(short) - Method in class edu.hkust.afchecker.model.Rule
set the rule id to no
setNo(short) - Method in class edu.hkust.afchecker.model.State
set the state id to stateNo
setOperator(short) - Method in class edu.hkust.afchecker.model.Atom
setter the atom's operator to op
setPredicate(Predicate) - Method in class edu.hkust.afchecker.model.Rule
set the rule predicate to p
setPriority(byte) - Method in class edu.hkust.afchecker.model.Rule
set the rule priority to p.
setProbability(double) - Method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraint
set the probability of the constraint to p
setProbability(double) - Method in class edu.hkust.afchecker.tool.FaultReport
set the probability of this fault
setRightAtom(Atom) - Method in class edu.hkust.afchecker.inferenceEngine.Constraint
set the right atom of the constraint
setRightAtomValue(boolean) - Method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraint
set the value of the right atom
setRuleList(ArrayList<Rule>) - Method in class edu.hkust.afchecker.tool.StateMachine
set the list of transition rules in the state machine
setState(State) - Method in class edu.hkust.afchecker.tool.FaultReport
set the application state where the fault happen
setStateList(ArrayList<State>) - Method in class edu.hkust.afchecker.tool.StateMachine
set the list of states in the machine to sl
setStateMatrixList(ArrayList<StateMatrix>) - Method in class edu.hkust.afchecker.tool.StateMachine
set the list of state matrices
setSupportThreshold(double) - Static method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraintInferenceEngine
set the support threshold of the association rule learning algorithm
setTarget(T) - Method in class edu.hkust.afchecker.model.Atom
set the target value in the atom's proposition to tar
setTime(Time) - Method in class edu.hkust.afchecker.data.EnvironmentData
set time
setType(short) - Method in class edu.hkust.afchecker.model.Atom
set the atom's context type.
setWiFi_SSID_List(ArrayList<String>) - Method in class edu.hkust.afchecker.data.EnvironmentData
set the list of accessible WiFi networks
SMALLER - Static variable in interface edu.hkust.afchecker.model.ContextOperator
the "<" operator
SMALLER_EQUAL - Static variable in interface edu.hkust.afchecker.model.ContextOperator
the ">=" operator
State - Class in edu.hkust.afchecker.model
Author: Andrew
File history: Created on July 16, 2011.
State(short, String) - Constructor for class edu.hkust.afchecker.model.State
constructor
StateMachine - Class in edu.hkust.afchecker.tool
Author: Andrew
File history: Created on July 22, 2011.
StateMachine() - Constructor for class edu.hkust.afchecker.tool.StateMachine
 
StateMachineParser - Class in edu.hkust.afchecker.util
Author: Andrew
File history: Created on July 22, 2011.
StateMachineParser() - Constructor for class edu.hkust.afchecker.util.StateMachineParser
 
StateMatrix - Class in edu.hkust.afchecker.tool
Author: Andrew
File history: Created on July 22, 2011.
StateMatrix() - Constructor for class edu.hkust.afchecker.tool.StateMatrix
constructor, initialize the boolean matrix

A B C D E F G I L N P R S T U V W