Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
I
L
N
P
R
S
T
U
V
W