Basic
Centre for Vision, Speech & Signal Processing
BASIC LIBRARIES AMMA SEARCH AMMA HOME
 

Subtopics:

    AMMA
        Logic
            Basic

Classes:

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