|
Basic
|
| Centre for Vision, Speech & Signal Processing |
| DEVELOP | LIBRARIES | AMMA SEARCH | AMMA HOME |
AMMA | |
Logic | |
Basic |
| Default Classes | Description |
| StdAMMA::SortComparisonC | |
| VLExprLabel | Expression label body class. |
| VLExpr | Expression body |
| VLExprTypeC | Expression Type. |
| VLExprType | Base expression class. |
| VLExprLabelC | Expression label handle. |
| VLExprC | Symbolic Expression |
| VLBindLst | Set of variable bindings. |
| VLMinTerm | Logical min-term. |
| VLSymbIter | This class is used for interating through sub-expression |
| VLSymbIterC | Symbol list iterator. |
| VLSubstBaseC | Subsitution handle. |
| VLSpace | Base body for a logical space. |
| VLSymbC | Symbolic token. |
| VLSymb | Basic logical symbol. |
| VLMinTermSOP | Sum of Products. |
| VLMinTermC | Logical min-term. |
| VLSpaceC | Handle for a logical space. |
| VLSymbDCC | Symbol handle. |
| VLSymbSetC | Set of symbols. |
| VLNExpr | Named expression. |
| VLValue | Logical value. |
| VLValInt | Integer Value |
| VLValFloat | Floating point value. |
| VLValStr | String. |
| VLNot | Negation. |
| VLNotC | Negation. |
| VLExprIter | This iterator works over Index labels for the expression. |
| VLExprIterC | |
| VLVar | Construct a variable. |
| VLVarC | Create a variable. |
| VLArgs | List of arguments, mainly used in VLExpr and VLExprType. |
| VLBind | A single binding between a variable and a value. |
| VLBindLstIter | Iterate through a bind list. |
| VLBindLstC | Refrence counted version of a bind list. |
| VLExprLabelLst | |
| VLSymbTrue | Symbol which always test's true. |
| VLSymbFalse | Symbol which always test's false. |
| VLSubstBase | Basic substition. |
| VLMinTermPartIter | Convert a composite minterm into a list of VLMinTerm singles |
| VLNamedSymb | Named symbol. |
| Author: Anonymous, Generated by DocEntry: March 20, 2001 |