AMN.txt

amn#Machine
amn#AbstractMachine
amn#Refinement
amn#Implementation
amn#Set
amn#Enum
amn#Deferred
amn#Valuation
amn#Operation
amn#Element
AMNPredicate#Predicate
AMNPredicate#QuantifiedPredicate
AMNPredicate#AtomicPredicate
AMNPredicate#Bracketed
AMNPredicate#Conjunction
AMNPredicate#Negation
AMNPredicate#Disjunction
AMNPredicate#Implication
AMNPredicate#Equivalence
AMNPredicate#UniversallyQuantified
AMNPredicate#ExistentiallyQuantified
AMNExpression#Expression
AMNExpression#SetComprehension
AMNExpression#OperationalExpression
AMNExpression#UnaryOperator
AMNExpression#BinaryOperator
AMNExpression#FunctionalExpression
AMNExpression#Variable
AMNExpression#NamedConstant
AMNExpression#BooleanValue
AMNExpression#StringValue
AMNExpression#IntegerValue
AMNExpression#SetValue
AMNSubstitution#Substitution
AMNSubstitution#Identity
AMNSubstitution#Block
AMNSubstitution#BecomesEqual
AMNSubstitution#Precondition
AMNSubstitution#Assertion
AMNSubstitution#LimitedChoice
AMNSubstitution#Conditional
AMNSubstitution#IfSubstitution
AMNSubstitution#ConditionalBoundedChoice
AMNSubstitution#Select
AMNSubstitution#Case
AMNSubstitution#CaseBranch
AMNSubstitution#Any
AMNSubstitution#Let
AMNSubstitution#BecomesElement
AMNSubstitution#BecomesSuchThat
AMNSubstitution#Var
AMNSubstitution#SequenceSubst
AMNSubstitution#Call
AMNSubstitution#While
AMNSubstitution#Simultaneous
PrimitiveTypes#Boolean
PrimitiveTypes#Integer
PrimitiveTypes#String