Home | History | Annotate | Download | only in ceres

Lines Matching refs:SummarizeGivenProgram

214   SummarizeGivenProgram(*original_program, summary);
448   SummarizeGivenProgram(*original_program, summary);