Package transf :: Package lib :: Module match

Module match

Term matching transformations.

Classes
	TermSet
	Nil Transformation which matches an empty list term.
	Appl
	ApplCons
	Annos

Functions

Term(term)

Int(value)
Transformation which matches an integer term with the given value.

Real(value)
Transformation which matches a real term with the given value.

Str(value)
Transformation which matches a string term with the given value.

StrSet(values)

ConsL(head, tail)

ConsR(head, tail)

Cons(head, tail)

List(elms, tail=None)

ApplName(name)

ApplNames(names)

Var(var)

Anno(anno)

Variables
	anInt = `util.BoolAdaptor(aterm.types.isInt)`
	aStr = `util.BoolAdaptor(aterm.types.isStr)`
	aReal = `util.BoolAdaptor(aterm.types.isReal)`
	aList = `util.BoolAdaptor(aterm.types.isList)`
	anAppl = `util.BoolAdaptor(aterm.types.isAppl)`
	zero = `Int(0)`
	one = `Int(1)`
	two = `Int(2)`
	three = `Int(3)`
	four = `Int(4)`
	empty = `Str("")`
	nil = `Nil()`