public static EdgeStatement EdgeBetweenNodes(NodeStatement.NodeID from, NodeStatement.NodeID to) { EdgeStatement edge = new EdgeStatement(); edge.nodeID = from; edge.rhs = new EdgeRHS(); edge.rhs.nodeID = to; return edge; }
// EdgeStatement builders public static EdgeStatement EdgeBetweenNodes(string from, string to) { EdgeStatement edge = new EdgeStatement(); edge.nodeID = new NodeStatement.NodeID(from); edge.rhs = new EdgeRHS(); edge.rhs.nodeID = new NodeStatement.NodeID(to); return edge; }
public static EdgeStatement EdgeBetweenNodes(NodeStatement.NodeID from, NodeStatement.NodeID to) { EdgeStatement edge = new EdgeStatement(); edge.nodeID = from; edge.rhs = new EdgeRHS(); edge.rhs.nodeID = to; return(edge); }
// EdgeStatement builders public static EdgeStatement EdgeBetweenNodes(string from, string to) { EdgeStatement edge = new EdgeStatement(); edge.nodeID = new NodeStatement.NodeID(from); edge.rhs = new EdgeRHS(); edge.rhs.nodeID = new NodeStatement.NodeID(to); return(edge); }