Esempio n. 1
0
        internal RelConstr(Span span, RelKind op, Node arg)
            : base(span)
        {
            Contract.Requires(arg != null);
            Contract.Requires(arg.IsFuncOrAtom);

            Op   = op;
            Arg1 = arg;
            Arg2 = null;
        }
Esempio n. 2
0
        internal RelConstr(Span span, RelKind op, Node arg1, Node arg2)
            : base(span)
        {
            Contract.Requires(arg1 != null && arg2 != null);
            Contract.Requires(arg1.IsFuncOrAtom && arg2.IsFuncOrAtom);

            Op   = op;
            Arg1 = arg1;
            Arg2 = arg2;
        }
Esempio n. 3
0
 internal BaseOpSymb(
     RelKind opKind,
     int arity,
     Func <Node, List <Flag>, bool> validator,
     Func <TermIndex, Term[], Term[]> upApprox,
     Func <TermIndex, Term[], Term[]> downApprox,
     Func <Executer, Bindable[], Term> evaluator)
 {
     Contract.Requires(validator != null && upApprox != null && downApprox != null);
     OpKind         = opKind;
     Validator      = validator;
     UpwardApprox   = upApprox;
     DownwardApprox = downApprox;
     Evaluator      = evaluator;
     this.arity     = arity;
 }
Esempio n. 4
0
 private void PushSymbol(RelKind opcode, Span span)
 {
     appStack.Push(new RelApplyInfo(opcode, span));
 }
Esempio n. 5
0
 public RelApplyInfo(RelKind opcode, Span span)
     : base(NodeKind.RelConstr, span)
 {
     Opcode = opcode;
 }