kodkod.ast

Class LeafExpression

java.lang.Object

kodkod.ast.Node

kodkod.ast.Expression

kodkod.ast.LeafExpression

Direct Known Subclasses:

ConstantExpression, Relation, Variable

public abstract class LeafExpression
extends Expression

An expression with no children. Relation and Variable are examples of leaf exressions. Two leaf expressions are equal if and only if they refer to the same object. That is, leaf1.eauls(leaf2) <=> leaf1 == leaf2. A leaf has a name, which is basically a comment for the purpose of printing, viewing, etc. The name has no meaning otherwise.

Author:

Emina Torlak

Specfields:

name: String

arity: int

no children

Field Summary

Fields inherited from class kodkod.ast.Expression

IDEN, INTS, NONE, UNIV

Method Summary

Modifier and Type	Method and Description
int	arity() Returns the arity of this leaf.
String	name() Returns the name of this leaf.
String	toString() Returns a string representation of this node.

Methods inherited from class kodkod.ast.Expression

accept, apply, apply, apply, closure, compare, compose, compose, compose, count, difference, eq, in, intersection, intersection, intersection, join, lone, no, one, override, override, override, product, product, product, project, reflexiveClosure, some, sum, transpose, union, union, union

Methods inherited from class kodkod.ast.Node

accept

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

arity

public final int arity()

Returns the arity of this leaf.

Specified by:

arity in class Expression

Returns:

this.arity

name

public final String name()

Returns the name of this leaf.

Returns:

this.name

toString

public String toString()

Returns a string representation of this node. For a pretty-printed string, use PrettyPrinter.

Specified by:

toString in class Node

Returns:

a string representation of this node

See Also:

Node.toString()