public class OpExtend extends Op1
| Modifier and Type | Method and Description |
|---|---|
Op |
apply(Transform transform,
Op subOp) |
Op1 |
copy(Op subOp) |
boolean |
equalTo(Op other,
NodeIsomorphismMap labelMap) |
static Op |
extend(Op op,
Var var,
Expr expr) |
static Op |
extend(Op op,
VarExprList exprs) |
static OpExtend |
extendDirect(Op op,
VarExprList exprs)
Make a OpExtend - guaranteed to return an OpExtend
|
String |
getName() |
VarExprList |
getVarExprList() |
int |
hashCode() |
void |
visit(OpVisitor opVisitor) |
toString, toStringtoStringpublic static Op extend(Op op, VarExprList exprs)
public static OpExtend extendDirect(Op op, VarExprList exprs)
public String getName()
public VarExprList getVarExprList()
public void visit(OpVisitor opVisitor)
public boolean equalTo(Op other, NodeIsomorphismMap labelMap)
Licenced under the Apache License, Version 2.0