|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.ast.Expression
kodkod.ast.ProjectExpression
public final class ProjectExpression
A general projection expression. For example, let [[e]] = {<a, b, c>, <d, e, f>, <d, g, f>}. Then, project(e, 1, 3) = {<a, c>, <d, f>} and project(e, 1, 1, 2) = {<a, a, b>, <d, d, e>, <d, d, g>}.
children = expression + columns[int] |
expression: Expression |
arity: [1..) |
columns: [0..arity) -> one IntExpression |
Field Summary |
---|
Fields inherited from class kodkod.ast.Expression |
---|
IDEN, INTS, NONE, UNIV |
Method Summary | ||
---|---|---|
|
accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
void |
accept(VoidVisitor visitor)
Accepts the given void visitor by calling visitor.visit(this). |
|
int |
arity()
Returns this.arity. |
|
java.util.List<IntExpression> |
columns()
Returns this.columns. |
|
Expression |
expression()
Returns this.expression. |
|
java.lang.String |
toString()
Returns the string representation of this expression. |
Methods inherited from class kodkod.ast.Expression |
---|
apply, apply, apply, closure, compose, compose, count, difference, eq, in, intersection, join, lone, no, one, override, product, project, reflexiveClosure, some, sum, transpose, union |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public int arity()
arity
in class Expression
public Expression expression()
public java.util.List<IntExpression> columns()
public <E,F,D,I> E accept(ReturnVisitor<E,F,D,I> visitor)
accept
in interface Node
accept
in class Expression
Expression.accept(kodkod.ast.visitor.ReturnVisitor)
public void accept(VoidVisitor visitor)
Node.accept(kodkod.ast.visitor.VoidVisitor)
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |