ATermFwd (ATerm Java 1.8.2-p1 API)

public class ATermFwd
extends Object
implements Visitor

Constructors
Constructor and Description
`ATermFwd(jjtraveler.Visitor any)`

Methods
Modifier and Type	Method and Description
`jjtraveler.Visitable`	`visit(jjtraveler.Visitable v)`
`Visitable`	`visitAFun(AFun fun)`
`Visitable`	`visitAppl(ATermAppl arg)`
`Visitable`	`visitATerm(ATerm arg)`
`Visitable`	`visitBlob(ATermBlob arg)`
`Visitable`	`visitInt(ATermInt arg)`
`Visitable`	`visitList(ATermList arg)`
`Visitable`	`visitLong(ATermLong arg)`
`Visitable`	`visitPlaceholder(ATermPlaceholder arg)`
`Visitable`	`visitReal(ATermReal arg)`

public ATermFwd(jjtraveler.Visitor any)

public jjtraveler.Visitable visit(jjtraveler.Visitable v)
                           throws jjtraveler.VisitFailure

public Visitable visitATerm(ATerm arg)
                     throws jjtraveler.VisitFailure

public Visitable visitInt(ATermInt arg)
                   throws jjtraveler.VisitFailure

public Visitable visitLong(ATermLong arg)
                    throws jjtraveler.VisitFailure

public Visitable visitReal(ATermReal arg)
                    throws jjtraveler.VisitFailure

public Visitable visitAppl(ATermAppl arg)
                    throws jjtraveler.VisitFailure

public Visitable visitList(ATermList arg)
                    throws jjtraveler.VisitFailure

public Visitable visitPlaceholder(ATermPlaceholder arg)
                           throws jjtraveler.VisitFailure

public Visitable visitBlob(ATermBlob arg)
                    throws jjtraveler.VisitFailure

Class ATermFwd