예제 #1
0
파일: util.php 프로젝트: Nr90/kennissysteem
function simplify(Condition $condition)
{
    while (($simplified = $condition->simplify()) != $condition) {
        $condition = $simplified;
    }
    return $condition;
}