org.clafer.ast

Class AstQuantify

java.lang.Object

org.clafer.ast.AstQuantify

All Implemented Interfaces:

AstBoolExpr, AstExpr

public class AstQuantify
extends Object
implements AstBoolExpr

Author:

jimmy

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AstQuantify.Quantifier

Constructor Summary

Constructors

Constructor and Description
AstQuantify(AstQuantify.Quantifier quantifier, AstDecl[] decls, AstBoolExpr body)

Method Summary

Methods

Modifier and Type	Method and Description
<A,B> B	accept(AstExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
AstBoolExpr	getBody()
AstDecl[]	getDecls()
AstQuantify.Quantifier	getQuantifier()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AstQuantify

public AstQuantify(AstQuantify.Quantifier quantifier,
           AstDecl[] decls,
           AstBoolExpr body)

Method Detail

getQuantifier

public AstQuantify.Quantifier getQuantifier()

getDecls

public AstDecl[] getDecls()

getBody

public AstBoolExpr getBody()

accept

public <A,B> B accept(AstExprVisitor<A,B> visitor,
             A a)

Description copied from interface: AstExpr

Dynamic dispatch on the visitor.

Specified by:

accept in interface AstExpr

Type Parameters:

A - the parameter type

B - the return type

Parameters:

visitor - the visitor

a - the parameter

Returns:

the return value

toString

public String toString()

Overrides:

toString in class Object