예제 #1
0
파일: MatchAtomic.cs 프로젝트: ggrov/tacny 
        public static Solution CreateSolution(Atomic atomic, MatchStmt ms)
        {
            Atomic ac = atomic.Copy();

            ac.AddUpdated(ms, ms);
            return(new Solution(ac, true, null));
        }