public class OpExtend extends OpExtendAssign
| Modifier and Type | Method and Description |
|---|---|
Op |
apply(Transform transform,
Op subOp) |
Op1 |
copy(Op subOp) |
OpExtendAssign |
copy(Op subOp,
VarExprList varExprList) |
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() |
void |
visit(OpVisitor opVisitor) |
getVarExprList, hashCodetoString, toStringtoStringpublic static Op extend(Op op, VarExprList exprs)
public static OpExtend extendDirect(Op op, VarExprList exprs)
public String getName()
public void visit(OpVisitor opVisitor)
public boolean equalTo(Op other, NodeIsomorphismMap labelMap)
public OpExtendAssign copy(Op subOp, VarExprList varExprList)
copy in class OpExtendAssignLicenced under the Apache License, Version 2.0