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)
{
}
