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.