aterm.test
Class TestFib

java.lang.Object
  aterm.test.TestFib

public class TestFib
extends java.lang.Object

Field Summary

private ATermFactory	factory
private AFun	fib
private AFun	plus
private AFun	suc
private ATermAppl	tzero
private AFun	zero

Constructor Summary

TestFib(ATermFactory factory)

Method Summary

static void	main(java.lang.String[] args)
ATermAppl	normalizeFib(ATermAppl t)
ATermAppl	normalizePlus(ATermAppl t)
void	test1()
void	test2()
void	test3(int n)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

factory

private ATermFactory factory

zero

private AFun zero

suc

private AFun suc

plus

private AFun plus

fib

private AFun fib

tzero

private ATermAppl tzero

Constructor Detail

TestFib

public TestFib(ATermFactory factory)

Method Detail

main

public static final void main(java.lang.String[] args)

test1

public void test1()

test2

public void test2()

test3

public void test3(int n)

normalizePlus

public ATermAppl normalizePlus(ATermAppl t)

normalizeFib

public ATermAppl normalizeFib(ATermAppl t)