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