Esempio n. 1
0
function simplify(Condition $condition)
{
    while (($simplified = $condition->simplify()) != $condition) {
        $condition = $simplified;
    }
    return $condition;
}