jclaveau / php-logical-filter

     */

    public function hasSolution(array $contextual_options=[])

    {

        if ( ! $this->simplicationStepReached(self::simplified)) {

            throw new \LogicException(

                "hasSolution has no sens if the rule is not simplified instead of being at: "

                .var_export($this->current_simplification_step, true)

            );

        }

        // atomic rules

        foreach ($this->getOperands() as $operand) {

            return true;

        }

        if ( ! $this->simplicationStepReached(self::simplified)) {

            throw new \LogicException(

                "hasSolution has no sens if the rule is not simplified instead of being at: "

                .var_export($this->current_simplification_step, true)

            );

        }

        // If there is no remaining operand in an OrRule, it means it has

        // no solution.