Everything
All Classes
aterm.asd.BuiltinType
aterm.asd.Constructor
aterm.asd.Description
aterm.asd.Field
aterm.asd.ListType
aterm.asd.MismatchException
aterm.asd.OptionalType
aterm.asd.Production
aterm.asd.TestAsd
aterm.asd.Type
aterm.asd.UserType
aterm.build.Appl
aterm.build.ApplCons
aterm.build.Build
aterm.build.Builder
aterm.build.Cons
aterm.build.Parser
aterm.build.Term
aterm.build.Var
aterm.build.Wildcard
aterm.exception.BaseException
aterm.exception.ParseError
aterm.factory.Factory
aterm.factory.Parser
aterm.lexer.Lexer
aterm.lexer.TokenStream
aterm.lexer.Tokenizer
aterm.lists.Iter
aterm.match.Appl
aterm.match.ApplCons
aterm.match.Cons
aterm.match.Int
aterm.match.Match
aterm.match.Matcher
aterm.match.Nil
aterm.match.Parser
aterm.match.Real
aterm.match.Str
aterm.match.Var
aterm.match.Wildcard
aterm.parser.Parser
aterm.path.Path
aterm.term.Appl
aterm.term.Cons
aterm.term.Integer
aterm.term.List
aterm.term.Lit
aterm.term.Nil
aterm.term.Real
aterm.term.Str
aterm.term.Term
aterm.visitor.IncrementalVisitor
aterm.visitor.Visitor
aterm.walker.Dispatch
aterm.walker.Walker
aterm.write.AbbrevTextWriter
aterm.write.TextWriter
aterm.write.Writer
exceptions.AssertionError
transf.context.Binding
transf.context.Context
transf.context.Global
transf.context.Local
transf.context.Name
transf.exception.Base
transf.exception.Failure
transf.exception.Fatal
transf.lib.annotation.Set
transf.lib.arith.Count
transf.lib.base.Fail
transf.lib.base.Ident
transf.lib.build.Annos
transf.lib.build.Appl
transf.lib.build.ApplCons
transf.lib.congruent.Annos
transf.lib.congruent.Appl
transf.lib.congruent.ApplCons
transf.lib.congruent.Subterms
transf.lib.debug.DebugMixin
transf.lib.debug.Dump
transf.lib.debug.Log
transf.lib.debug.TestCase
transf.lib.debug.Trace
transf.lib.debug.Traceback
transf.lib.iterate.Repeat
transf.lib.lists.Fetch
transf.lib.lists.Filter
transf.lib.lists.FilterR
transf.lib.lists.ForEach
transf.lib.lists.Length
transf.lib.lists.Map
transf.lib.lists.MapConcat
transf.lib.lists.MapR
transf.lib.lists.One
transf.lib.lists.Reverse
transf.lib.match.Annos
transf.lib.match.Appl
transf.lib.match.ApplCons
transf.lib.match.Nil
transf.lib.match.TermSet
transf.lib.path.Annotate
transf.lib.path.Contained
transf.lib.path.Contains
transf.lib.path.Equals
transf.lib.path.Project
transf.lib.path.Range
transf.lib.path.SubTerm
transf.lib.project.Annos
transf.lib.project.Args
transf.lib.project.Head
transf.lib.project.Name
transf.lib.project.Subterms
transf.lib.project.Tail
transf.lib.strings.ToStr
transf.lib.ui.CliInputter
transf.lib.ui.Inputter
transf.lib.ui.Str
transf.operate.Binary
transf.operate.BinaryMixin
transf.operate.Ternary
transf.operate.TernaryMixin
transf.operate.Unary
transf.operate.UnaryMixin
transf.parse.compiler.Compiler
transf.parse.compiler.SemanticException
transf.parse.lexer.Lexer
transf.parse.parser.Parser
transf.parse.parser.SemanticException
transf.transformation.Transformation
transf.types.table.Add
transf.types.table.Filter
transf.types.table.Iterate
transf.types.table.Join
transf.types.table.Table
transf.types.term.Term
transf.util.Adaptor
transf.util.BoolAdaptor
transf.util.Proxy
transf.variable.Variable
All Functions
aterm.annotation.get
aterm.annotation.remove
aterm.annotation.set
aterm.asd.optionalize
aterm.asd.parse
aterm.build.Int
aterm.build.Nil
aterm.build.Real
aterm.build.Str
aterm.compare.isEqual
aterm.compare.isEquivalent
aterm.convert.toInt
aterm.convert.toList
aterm.convert.toLit
aterm.convert.toObj
aterm.convert.toReal
aterm.convert.toStr
aterm.hash.fullHash
aterm.hash.structuralHash
aterm.lists.append
aterm.lists.empty
aterm.lists.extend
aterm.lists.fetch
aterm.lists.filter
aterm.lists.insert
aterm.lists.item
aterm.lists.length
aterm.lists.map
aterm.lists.reverse
aterm.lists.rmap
aterm.lists.split
aterm.path.annotate
aterm.path.deannotate
aterm.project.annotations
aterm.project.subterm
aterm.project.subterms
aterm.types.isAppl
aterm.types.isCons
aterm.types.isInt
aterm.types.isList
aterm.types.isLit
aterm.types.isNil
aterm.types.isReal
aterm.types.isStr
transf.lib.iterate.Rec
transf.operate.Nary
transf.parse.Transf
transf.parse.Transfs
transf.variable.VariableTransformation
transf.variable.VariableTransformationFactory
All Variables
aterm.factory.factory
aterm.path.ANCESTOR
aterm.path.DESCENDENT
aterm.path.EQUAL
aterm.path.PRECEDENT
aterm.path.SUBSEQUENT
aterm.types.APPL
aterm.types.CONS
aterm.types.INT
aterm.types.LIST
aterm.types.LIT
aterm.types.NIL
aterm.types.REAL
aterm.types.STR
transf.context.empty
transf.lib.arith.Add
transf.lib.arith.AddInt
transf.lib.arith.Dec
transf.lib.arith.DecInt
transf.lib.arith.Div
transf.lib.arith.DivInt
transf.lib.arith.Eq
transf.lib.arith.EqInt
transf.lib.arith.Geq
transf.lib.arith.GeqInt
transf.lib.arith.Gt
transf.lib.arith.GtInt
transf.lib.arith.Inc
transf.lib.arith.IncInt
transf.lib.arith.Leq
transf.lib.arith.LeqInt
transf.lib.arith.Lt
transf.lib.arith.LtInt
transf.lib.arith.Mul
transf.lib.arith.MulInt
transf.lib.arith.Neg
transf.lib.arith.NegInt
transf.lib.arith.Neq
transf.lib.arith.NeqInt
transf.lib.arith.Sub
transf.lib.arith.SubInt
transf.lib.arith.add
transf.lib.base.fail
transf.lib.base.id
transf.lib.base.ident
transf.lib.build.empty
transf.lib.build.four
transf.lib.build.nil
transf.lib.build.one
transf.lib.build.three
transf.lib.build.two
transf.lib.build.zero
transf.lib.debug.log
transf.lib.lists.concat
transf.lib.lists.length
transf.lib.lists.reverse
transf.lib.match.aList
transf.lib.match.aReal
transf.lib.match.aStr
transf.lib.match.anAppl
transf.lib.match.anInt
transf.lib.match.empty
transf.lib.match.four
transf.lib.match.nil
transf.lib.match.one
transf.lib.match.three
transf.lib.match.two
transf.lib.match.zero
transf.lib.path.annotate
transf.lib.path.deannotate
transf.lib.path.get
transf.lib.project.annos
transf.lib.project.args
transf.lib.project.first
transf.lib.project.fourth
transf.lib.project.head
transf.lib.project.name
transf.lib.project.second
transf.lib.project.subterms
transf.lib.project.tail
transf.lib.project.third
transf.lib.strings.concat
transf.lib.strings.tostr
transf.lib.ui.inputter
transf.parse.simplifier.simplify