예제 #1
0
파일: Link.cs 프로젝트: radamsa/LAEC
 public Link(Node source, Node target)
 {
     Contract.Requires(null != source);
     Contract.Requires(null != target);
     Source = source;
     Target = target;
 }
예제 #2
0
 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;
 }
예제 #3
0
파일: TransLink.cs 프로젝트: radamsa/LAEC
 public TransLink(Node source, Node target)
     : base(source, target)
 {
 }
예제 #4
0
파일: LAExpr.cs 프로젝트: radamsa/LAEC
 public LAExpr(Node node, AlphaDisjuntion expression)
 {
     Target = node;
     Expression = expression;
 }
예제 #5
0
파일: ExprCall.cs 프로젝트: radamsa/LAEC
 public ExprCall(Node node)
 {
     Contract.Requires(null != node);
     Node = node;
 }
예제 #6
0
파일: DataLink.cs 프로젝트: radamsa/LAEC
 public DataLink(Node source, Node target, Type valueType)
     : base(source, target)
 {
     ValueType = valueType;
 }
예제 #7
0
파일: DataLink.cs 프로젝트: radamsa/LAEC
 public DataLink(Node source, Node target)
     : base(source, target)
 {
 }