src/AstGroundAnalysis.cpp
BoolDisjunctConstraint isTrue(const BoolDisjunctVar& var) {
    struct C : public Constraint<BoolDisjunctVar> {
        BoolDisjunctVar var;
        C(BoolDisjunctVar var) : var(std::move(var)) {}
        bool update(Assignment<BoolDisjunctVar>& ass) const override {
            auto res = !ass[var];
            ass[var] = true;
            return res;
        }
        void print(std::ostream& out) const override {
            out << var << " is true";
        }
    };
    return std::make_shared<C>(var);
}
/**
 * A constraint factory for a constraint ensuring that the value assigned to the
 * given variable is (at least) {true}
 */
A constraint factory for a constraint ensuring that the value assigned to the
given variable is (at least) {true}
A constraint factory for a constraint ensuring that the value assigned to the given variable is ( at least ) { true }
BoolDisjunctConstraint isTrue(const BoolDisjunctVar& var) {
    struct C : public Constraint<BoolDisjunctVar> {
        BoolDisjunctVar var;
        C(BoolDisjunctVar var) : var(std::move(var)) {}
        bool update(Assignment<BoolDisjunctVar>& ass) const override {
            auto res = !ass[var];
            ass[var] = true;
            return res;
        }
        void print(std::ostream& out) const override {
            out << var << " is true";
        }
    };
    return std::make_shared<C>(var);
}
BoolDisjunctConstraint isTrue ( const BoolDisjunctVar & var ) { struct C : public Constraint < BoolDisjunctVar > { BoolDisjunctVar var ; C ( BoolDisjunctVar var ) : var ( std :: move ( var ) ) { } bool update ( Assignment < BoolDisjunctVar > & ass ) const override { auto res = ! ass [ var ] ; ass [ var ] = true ; return res ; } void print ( std :: ostream & out ) const override { out << var << " " ; } } ; return std :: make_shared < C > ( var ) ; }
A constraint factory for a constraint ensuring that the value assigned to the
 given variable is (at least) {true}
A constraint factory for a constraint ensuring that the value assigned to the given variable is ( at least ) { true }