Package aterm :: Module build
[frames] | no frames]

Module build



Term building from patterns.

Classes
  Build
Build context.
  Builder
Base class for all term builders.
  Term
Builds a term.
  Cons
List construction term builder.
  Appl
Application term builder.
  ApplCons
Application (construction) term builder.
  Wildcard
Wildcard term builder.
  Var
Variable term builder.
  Parser
Parse a term pattern into a tree of term builders.
Functions
 
Int(value)
Integer term builder.
 
Real(value)
Real term builder.
 
Str(value)
String term builder.
 
Nil()
Empty list term builder.