Var_End()
Ends the var package.
Var_EnumElementAlloc()
Allocates a new symbolic constant for an enumerated data type.
Var_EnumElementFree()
Frees an eumerative type constant.
Var_EnumElementObtainIndex()
Returns the index of the enumerated element of a symbolic variable.
Var_EnumElementReadName()
Returns the name of an element.
Var_EnumElementReadType()
Returns a pointer to the type of an given element.
Var_Init()
Initializes the var package.
Var_Reinit()
Reinitializes the var package.
Var_TypeIsArray()
Checks if a type is an array type
Var_TypeIsBitvector()
Checks if a type is a bitvector.
Var_TypeIsCompatibleWithNumConst()
Check if the type is compatible with number constants.
Var_TypeManagerAddEnumElement()
For enumerative type, add a new type element.
Var_TypeManagerAddType()
Add a variable type into the type manager.
Var_TypeManagerForEachVarType()
required
Var_TypeManagerFree()
Free the type mananager
Var_TypeManagerInit()
Init the type manager
Var_TypeManagerObtainType()
Returns a pointer to the datatype struct.
Var_TypeManagerReadEnumElementFromName()
Returns a pointer to the element given a name.
Var_TypeManagerReadTypeFromName()
Returns a pointer to the datatype struct given the name.
Var_TypeManagerReadVarTypeTable()
Returns the type table from the type manager
Var_TypesAreCompatible()
Checks if two types are compatible.
Var_VarNewTimerTypeAlloc()
Allocates a new variable type for a timer variable.
Var_VarTimeIncrementTypeAlloc()
Allocates a variable type for the time increment variable.
Var_VarTypeArrayAlloc()
Allocates an array type.
Var_VarTypeArrayOrBitvectorReadSize()
Returns the size of the domain of the variable type.
Var_VarTypeBasicAlloc()
Allocates a new variable type.
Var_VarTypeBitvectorAlloc()
Allocates a bitvector type.
Var_VarTypeDup()
Makes a copy of a variable type.
Var_VarTypeEnumeratedAlloc()
Allocates an enumerated type.
Var_VarTypeForEachSymbolicValue()
Iterates over the symbolic values of an enumerated data type.
Var_VarTypeFree()
Frees a variable type
Var_VarTypeRangeAlloc()
Allocates a range type.
Var_VarTypeReadDataType()
Returns the data type of a varable type.
Var_VarTypeReadDomainSize()
Returns the size of the domain of the variable type.
Var_VarTypeReadEntryType()
Returns the entry type of an array data type.
Var_VarTypeReadIndexFromSymbolicValue()
Returns the integer index associated with a symbolic constant for an enumerated data type.
Var_VarTypeReadIndexToValue()
Checks if a variable is an external variable.
Var_VarTypeReadIndexType()
Returns the index type of an array data type.
Var_VarTypeReadName()
Return the name of the variable type.
Var_VarTypeReadSymbolicValueFromIndex()
Returns the name of the symbolic constant associated with an integer index for an enumerated data type.
Var_VariableAddToAwaitByAtomList()
Add an atom to the awaitByAtomList.
Var_VariableAddToReadByAtomList()
Add an atom to the readByAtomList.
Var_VariableAlloc()
Allocates a new variable.
Var_VariableChangeName()
Changes the name of a variable.
Var_VariableForEachSymbolicValue()
Iterates over the symbolic values of an enumerated type variable.
Var_VariableFree()
Frees a variable.
Var_VariableIsBoolean()
Checks if the variable is a boolean variable.
Var_VariableIsEvent()
Checks if a variable is an event variable.
Var_VariableIsExternal()
Checks if a variable is an external variable.
Var_VariableIsHistoryDependent()
Checks if the variable is history dependent.
Var_VariableIsHistoryFree()
Checks if the variable is history free.
Var_VariableIsInterface()
Checks if a variable is an interface variable.
Var_VariableIsPrivate()
Checks if a variable is a private variable.
Var_VariableObtainEnumElementFromIndex()
Returns the enumerated element of a symbolic variable from its index.
Var_VariableReadAwaitList()
Return a pointer to the list of atoms awaiting this var.
Var_VariableReadControlAtom()
Return a pointer to the atom controlling this var.
Var_VariableReadDataType()
Returns the data type of a variable.
Var_VariableReadIndexToValue()
Checks if a variable is an external variable.
Var_VariableReadModule()
Returns the module to which a variable belongs.
Var_VariableReadName()
Returns the name of a variable.
Var_VariableReadPEID()
returns an integer indicating the class of the variable.
Var_VariableReadReadList()
Return a pointer to the list of atoms reading this var.
Var_VariableReadTypeName()
Returns a string containing the type name of a variable.
Var_VariableReadType()
Returns a pointer to the type of a variable.
Var_VariableSetControlAtom()
Set a pointer to the atom which controls this atom.
Var_VariableSetPEID()
set the class type of the variable.
Var_VariableTypeReadNumVals()
Returns the number of values a variable of this type can take
Var_VariableTypeSetNumVals()
Modifies the number of values a variable of this type can take

Last updated on 980624 22h11