use conjure_cp::ast::Metadata;

use conjure_cp::rule_engine::RuleEffect;

use conjure_cp::ast::AbstractLiteral;

use conjure_cp::ast::Atom;

use conjure_cp::ast::Expression as Expr;

use conjure_cp::ast::Literal;

use conjure_cp::ast::SymbolTable;

use conjure_cp::rule_engine::{

    ApplicationError::RuleNotApplicable, ApplicationResult, register_rule,

};

// turns an in expression into a w-inset expression where x is an integer decision variable

// and the set is a set of integers like:

// x in {1,2,3} => w-inset(x, [1,2,3])

#[register_rule("Minion", 1, [In])]

        Expr::In(_, a, b) => {

            let Expr::Atomic(_, Atom::Literal(Literal::AbstractLiteral(AbstractLiteral::Set(c)))) =

            else {

            };

            } else {

            }

        }

    }