-
CommandAddProperty()
- Adds a property to the list of properties
-
CommandCheckProperty()
- Checks properties
-
CommandShowProperty()
- Shows the currently stored properties
-
PropTypeGetParsingType()
- Returns the parsing type given the property type
-
Prop_Alloc()
- Allocate a property
-
Prop_BuildFsm()
- Fills all the FSM fields of a property
-
Prop_BuildMasterProp()
- Fills all the FSM fields of the master property
-
Prop_CheckType()
- Check if a property in the database is of a given type
-
Prop_CreatePropPartial()
- Creates a property
-
Prop_DbPrintAllStatusType()
- Prints all the properties stored in the DB
-
Prop_DbPrintAllStatus()
- Prints all the properties stored in the DB
-
Prop_DbPrintAllType()
- Prints all the properties stored in the DB
-
Prop_DbPrintAll()
- Prints all the properties stored in the DB
-
Prop_DbVerifyAllTypeCompute()
- Verifies all COMPUTE properties
-
Prop_DbVerifyAllTypeCtl()
- Verifies all CTL properties
-
Prop_DbVerifyAllTypeInvar()
- Verifies all INVAR properties
-
Prop_DbVerifyAllTypeLtl()
- Verifies all LTL properties
-
Prop_DbVerifyAllType()
- Verifies all properties of a given type
-
Prop_Db_Add()
- Inserts a property in the DB of properties
-
Prop_Db_GetLast()
- Returns the last entered property in the DB
-
Prop_Db_GetNum()
- Returns the property indexed by index
-
Prop_Db_GetPropsOfType()
- Given a property type returns the list of properties
of that type currently located into the property database
-
Prop_Db_GetSize()
- Returns the size of the DB
-
Prop_Db_Init()
- Initializes the DB of properties
-
Prop_Db_PropCreateAndAdd()
- Inserts a property in the DB of properties
-
Prop_Db_PropParseAndAdd()
- Add a property to the database from a string and a type
-
Prop_Db_PropParseFromArgAndAdd()
- Add a property to the database from an arg structure
and a type
-
Prop_Db_Quit()
- Disposes the DB of properties
-
Prop_Db_VerifyAll()
- Verifies all the properties in the DB
-
Prop_Db_VerifyPropIndex()
- Verifies a given property
-
Prop_Db_VerifyProp()
- Verifies a given property
-
Prop_DecodeStatus()
- Returns the a string associated to a property status
-
Prop_DecodeType()
- Returns the a string associated to a property type
-
Prop_Destroy()
- Destroy the elements of a property
-
Prop_End()
- Quit the prop package
-
Prop_FillPropDb()
- Fills the DB of properties
-
Prop_Free()
- Free a property
-
Prop_GetBddFsm()
- Returns the boolean FSM in BDD of a property
-
Prop_GetBeFsmCoi()
- Returns the boolean FSM in BE of a property,
also taking into accout of the Cone Of Influence applied to the property
-
Prop_GetBeFsm()
- Returns the boolean FSM in BE of a property
-
Prop_GetBoolFsm()
- Returns the boolean FSM in sexp of a property
-
Prop_GetCone()
- Returns the cone of a property
-
Prop_GetIndex()
- Returns the index of a property
-
Prop_GetNumber()
- Returns the number of the property
-
Prop_GetPropIdxFromString()
- Get a valid property index from a string
-
Prop_GetProp()
- Returns the property
-
Prop_GetScalarFsm()
- Returns the scalar FSM in sexp of a property
-
Prop_GetStatus()
- Returns the status of the property
-
Prop_GetTrace()
- Returns the trace number associated to a property
-
Prop_GetType()
- Returns the property type
-
Prop_InitPropMaster()
- Creates the master prop
-
Prop_Init()
- Initiliaze the prop package
-
Prop_MasterGetBddFsm()
- Returns the boolean FSM in BDD
-
Prop_MasterGetBeFsm()
- Returns the boolean FSM in BE
-
Prop_MasterGetBoolFsm()
- Returns the boolean FSM in sexp
-
Prop_MasterGetScalarFsm()
- Returns the scalar FSM
-
Prop_MasterSetBddFsm()
- Set the boolean FSM in BDD
-
Prop_MasterSetBeFsm()
- Set the boolean FSM in BE
-
Prop_MasterSetBoolFsm()
- Set the boolean FSM in sexp
-
Prop_MasterSetScalarFsm()
- Set the scalar FSM
-
Prop_PrintPropHeader()
- Prints the header of the property list
-
Prop_PrintPropNum()
- Prints the specified property from the DB
-
Prop_PrintProp()
- Prints a property
-
Prop_PropTraceNoGetPropIndex()
- Returns the index of the property associated to a trace.
-
Prop_QuitPropMaster()
- Free the master prop
-
Prop_SetBddFsm()
- Sets the boolean FSM in BDD of a property
-
Prop_SetBeFsm()
- Sets the boolean FSM in BE of a property
-
Prop_SetBoolFsm()
- Sets the boolean FSM in sexp of a property
-
Prop_SetCone()
- Sets the cone of a property
-
Prop_SetFsmToMaster()
- Copies master prop FSM data into prop
-
Prop_SetIndex()
- Sets the index of a property
-
Prop_SetNumberInfinte()
- Sets the number of the property to INFINITE
-
Prop_SetNumber()
- Sets the number of the property
-
Prop_SetProp()
- Sets the property
-
Prop_SetScalarFsm()
- Sets the scalar FSM in sexp of a property
-
Prop_SetStatus()
- Sets the status of the property
-
Prop_SetTrace()
- Sets the trace number
-
Prop_SetType()
- Sets the property type.
-
print_prop()
- Prints a property
Last updated on 1021107 13h03