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