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

G

getAltitude() - Method in class edu.hkust.afchecker.data.GPSCoordinate
get the altitude
getAssignment() - Method in class edu.hkust.afchecker.model.Atom
 
getAtomAssignments() - Method in class edu.hkust.afchecker.tool.FaultReport
get the atom assignment which trigger a undeterministic adaptation or adaptation race fault
getAtomList() - Method in class edu.hkust.afchecker.model.Clause
get the atoms in the clause
getAtomList() - Method in class edu.hkust.afchecker.tool.StateMachine
get the list of atomic propositions in the state machine
getBatteryLevel() - Method in class edu.hkust.afchecker.data.EnvironmentData
get the battery level
getBT_Device_List() - Method in class edu.hkust.afchecker.data.EnvironmentData
get the list of discovered Bluetooth devices
getClauseList() - Method in class edu.hkust.afchecker.model.Predicate
get the clauses in the predicate
getConcernedAtoms() - Method in class edu.hkust.afchecker.model.Rule
 
getConfidenceThreshold() - Static method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraintInferenceEngine
get the confidence threshold of the association rule learning algorithm
getCurrentState() - Method in class edu.hkust.afchecker.model.Rule
 
getGPS_Location() - Method in class edu.hkust.afchecker.data.EnvironmentData
get the GPS location
getGPS_Speed() - Method in class edu.hkust.afchecker.data.EnvironmentData
get the speed
getGPS_Valid() - Method in class edu.hkust.afchecker.data.EnvironmentData
get the GPS status
getGPSPrecision() - Static method in class edu.hkust.afchecker.data.GPSCoordinate
get the precision level of the GPS sensor
getLatitude() - Method in class edu.hkust.afchecker.data.GPSCoordinate
get the latitude value
getLeftAtom() - Method in class edu.hkust.afchecker.inferenceEngine.Constraint
get the left atom of the constraint
getLeftAtomValue() - Method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraint
get the boolean assignment of the left atom
getLongitude() - Method in class edu.hkust.afchecker.data.GPSCoordinate
get the longitude
getMatrix() - Method in class edu.hkust.afchecker.tool.StateMatrix
get the collection of atom list assignments
getName() - Method in class edu.hkust.afchecker.model.Atom
 
getName() - Method in class edu.hkust.afchecker.model.Rule
 
getName() - Method in class edu.hkust.afchecker.model.State
 
getNewState() - Method in class edu.hkust.afchecker.model.Rule
 
getNo() - Method in class edu.hkust.afchecker.model.Atom
 
getNo() - Method in class edu.hkust.afchecker.model.Rule
 
getNo() - Method in class edu.hkust.afchecker.model.State
 
getOperator() - Method in class edu.hkust.afchecker.model.Atom
 
getPredicate() - Method in class edu.hkust.afchecker.model.Rule
 
getPriority() - Method in class edu.hkust.afchecker.model.Rule
 
getProbability() - Method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraint
get the probability of this probabilistic constraint
getProbability() - Method in class edu.hkust.afchecker.tool.FaultReport
get the probability of this fault
getRelatedAtoms(State) - Method in class edu.hkust.afchecker.tool.StateMachine
get the list of atoms related to a certain state
getRightAtom() - Method in class edu.hkust.afchecker.inferenceEngine.Constraint
get the right atom of the constraint
getRightAtomValue() - Method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraint
get the boolean value of the right atom
getRuleList() - Method in class edu.hkust.afchecker.tool.StateMachine
get the list of transition rules in the state machine
getRuleListList() - Method in class edu.hkust.afchecker.tool.StateMatrix
get the active rules under each atom list assignment
getStateList() - Method in class edu.hkust.afchecker.tool.StateMachine
get all states in the state machine
getStateMatrix(State) - Method in class edu.hkust.afchecker.tool.StateMachine
get the state matrix of a certain state
getStateMatrixList() - Method in class edu.hkust.afchecker.tool.StateMachine
get the state matrix for each state in the state machine
getTarget() - Method in class edu.hkust.afchecker.model.Atom
 
getTime() - Method in class edu.hkust.afchecker.data.EnvironmentData
get the time
getType() - Method in class edu.hkust.afchecker.model.Atom
 
getWiFi_SSID_List() - Method in class edu.hkust.afchecker.data.EnvironmentData
get the list of accessible WiFi networks
GPS_LOCATION - Static variable in interface edu.hkust.afchecker.model.ContextType
GPS Location
GPS_SPEED - Static variable in interface edu.hkust.afchecker.model.ContextType
Speed in km/h
GPS_VALID - Static variable in interface edu.hkust.afchecker.model.ContextType
the GPS sensor status
GPSCoordinate - Class in edu.hkust.afchecker.data
Author: Andrew
File history: Created on July 22, 2011.
GPSCoordinate(double, double, double) - Constructor for class edu.hkust.afchecker.data.GPSCoordinate
constructor
GREATER - Static variable in interface edu.hkust.afchecker.model.ContextOperator
the ">" operator
GREATER_EQUAL - Static variable in interface edu.hkust.afchecker.model.ContextOperator
the ">=" operator

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