var.h
External header file
varInt.h
Internal header file
var.c
Routines for manipulating variables and types.
varMain.c
Routines for the var package to interface with the main package.

var.h

External header file

By: Freddy Mang, Shaz Qadeer, Sriram Rajamani

See Alsooptional

Var_VariableForEachSymbolicValue()
Iterates over the symbolic values of an enumerated type variable.
Var_VarTypeForEachSymbolicValue()
Iterates over the symbolic values of an enumerated data type.
Var_TypeManagerForEachVarType()
required

varInt.h

Internal header file

By: Freddy Mang, Shaz Qadeer, Sriram Rajamani

See Alsooptional


var.c

Routines for manipulating variables and types.

By: Freddy Mang, Shaz Qadeer, Sriram Rajamani

This file contains routines for manipulating variables and types.

See Alsovar.h varInt.h varMain.c

Var_TypeManagerReadVarTypeTable()
Returns the type table from the type manager
Var_TypeIsCompatibleWithNumConst()
Check if the type is compatible with number constants.
Var_VarTypeBasicAlloc()
Allocates a new variable type.
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_VarTypeBitvectorAlloc()
Allocates a bitvector type.
Var_VarTypeEnumeratedAlloc()
Allocates an enumerated type.
Var_VarTypeRangeAlloc()
Allocates a range type.
Var_VarTypeDup()
Makes a copy of a variable type.
Var_VarTypeFree()
Frees a variable type
Var_VariableAlloc()
Allocates a new variable.
Var_VariableFree()
Frees a variable.
Var_VariableReadName()
Returns the name of a variable.
Var_VarTypeReadIndexType()
Returns the index type of an array data type.
Var_VarTypeReadEntryType()
Returns the entry type of an array data type.
Var_VarTypeReadSymbolicValueFromIndex()
Returns the name of the symbolic constant associated with an integer index for an enumerated data type.
Var_VarTypeReadIndexFromSymbolicValue()
Returns the integer index associated with a symbolic constant for an enumerated data type.
Var_VariableReadModule()
Returns the module to which a variable belongs.
Var_VariableReadType()
Returns a pointer to the type of a variable.
Var_VariableReadTypeName()
Returns a string containing the type name of a variable.
Var_VariableReadPEID()
returns an integer indicating the class of the variable.
Var_VariableSetPEID()
set the class type of the variable.
Var_VariableSetControlAtom()
Set a pointer to the atom which controls this atom.
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
Var_VariableReadReadList()
Return a pointer to the list of atoms reading this var.
Var_VariableReadAwaitList()
Return a pointer to the list of atoms awaiting this var.
Var_VariableAddToReadByAtomList()
Add an atom to the readByAtomList.
Var_VariableReadControlAtom()
Return a pointer to the atom controlling this var.
Var_VariableAddToAwaitByAtomList()
Add an atom to the awaitByAtomList.
Var_VariableChangeName()
Changes the name of a variable.
Var_VariableIsBoolean()
Checks if the variable is a boolean variable.
Var_TypeManagerInit()
Init the type manager
Var_TypeManagerFree()
Free the type mananager
Var_TypeManagerAddType()
Add a variable type into the type manager.
Var_VarTypeReadName()
Return the name of the variable type.
Var_VarTypeReadDomainSize()
Returns the size of the domain of the variable type.
Var_VarTypeArrayOrBitvectorReadSize()
Returns the size of the domain of the variable type.
Var_EnumElementAlloc()
Allocates a new symbolic constant for an enumerated data type.
Var_TypeManagerAddEnumElement()
For enumerative type, add a new type element.
Var_EnumElementFree()
Frees an eumerative type constant.
Var_TypeManagerReadEnumElementFromName()
Returns a pointer to the element given a name.
Var_EnumElementReadType()
Returns a pointer to the type of an given element.
Var_EnumElementReadName()
Returns the name of an element.
Var_TypeManagerReadTypeFromName()
Returns a pointer to the datatype struct given the name.
Var_TypeManagerObtainType()
Returns a pointer to the datatype struct.
Var_VarTypeReadDataType()
Returns the data type of a varable type.
Var_VariableReadDataType()
Returns the data type of a variable.
Var_VariableObtainEnumElementFromIndex()
Returns the enumerated element of a symbolic variable from its index.
Var_EnumElementObtainIndex()
Returns the index of the enumerated element of a symbolic variable.
Var_VariableIsHistoryFree()
Checks if the variable is history free.
Var_VariableIsHistoryDependent()
Checks if the variable is history dependent.
Var_VariableIsEvent()
Checks if a variable is an event variable.
Var_VariableIsPrivate()
Checks if a variable is a private variable.
Var_VariableIsInterface()
Checks if a variable is an interface variable.
Var_VariableIsExternal()
Checks if a variable is an external variable.
Var_VariableReadIndexToValue()
Checks if a variable is an external variable.
Var_VarTypeReadIndexToValue()
Checks if a variable is an external variable.
Var_TypesAreCompatible()
Checks if two types are compatible.
Var_TypeIsArray()
Checks if a type is an array type
Var_TypeIsBitvector()
Checks if a type is a bitvector.
VarTypeCmp()
required
VarTypeHash()
The hash function for the formula unique table.
VarObtainVarTypeHashValue()
required

varMain.c

Routines for the var package to interface with the main package.

By: Freddy Mang, Shaz Qadeer, Sriram Rajamani

This file contains all routines that are required to interact with the Main package, including routine for initialization of package by tcl/tk and those for registering new commands.

See Alsoatm

Var_Init()
Initializes the var package.
Var_Reinit()
Reinitializes the var package.
Var_End()
Ends the var package.
VarShowTypesCmd()
Tcl command "show_types"

Last updated on 980624 22h11