public Link(Node source, Node target) { Contract.Requires(null != source); Contract.Requires(null != target); Source = source; Target = target; }
public CheckNodeResult(Node node, List<Expr> left, List<Expr> right) { Contract.Requires(null != node); Contract.Requires(null != left); Contract.Requires(null != right); Node = node; Left = left; Right = right; }
public TransLink(Node source, Node target) : base(source, target) { }
public LAExpr(Node node, AlphaDisjuntion expression) { Target = node; Expression = expression; }
public ExprCall(Node node) { Contract.Requires(null != node); Node = node; }
public DataLink(Node source, Node target, Type valueType) : base(source, target) { ValueType = valueType; }
public DataLink(Node source, Node target) : base(source, target) { }