コード例 #1
0
        public static TrsReductionRule Convert(this AstReductionRule astIn)
        {
            var head = ConvertAstTermBase(astIn.Head);
            var tail = ConvertAstTermBase(astIn.Tail);

            return(new TrsReductionRule((TrsTermBase)head, (TrsTermBase)tail, astIn));
        }
コード例 #2
0
ファイル: TrsReductionRule.cs プロジェクト: sadeslandes/TRL 
 public TrsReductionRule(TrsTermBase head, TrsTermBase tail, AstReductionRule astSource)
 {
     Head      = head;
     Tail      = tail;
     AstSource = astSource;
 }