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, toString
toString
public 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