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, hashCode
toString, toString
toString
public 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 OpExtendAssign
Licenced under the Apache License, Version 2.0