Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

make `defc` more useful

Description

As we start adding more constraints it's becoming clear we really want to have to specify less boiler plate. Instead of:

(defn -treec ([x fc cform] (-treec x fc cform nil)) ([x fc cform _id] (reify clojure.lang.IFn (invoke [this a] (let [x (walk a x)] (if (tree-term? x) ((composeg (constrain-tree x (fn [t a] ((treec t fc cform) a))) (remcg this)) a) ((composeg (fc x) (remcg this)) a)))) IConstraintId (id [this] _id) IWithConstraintId (with-id [this _id] (-treec x fc cform _id)) IConstraintOp (rator [_] `treec) (rands [_] [x]) IReifiableConstraint (reifyc [_ v r a] (let [x (walk* r x)] `(treec ~x ~cform))) IRelevant (-relevant? [_ a] true) IRunnable (runnable? [_ a] (not (lvar? (walk a x)))) IConstraintWatchedStores (watched-stores [this] #{::subst})))) (defn treec [x fc cform] (cgoal (-treec x fc cform)))

We should be able to write just:

(defc treec [x fc cform] clojure.lang.IFn (invoke [this a] (let [x (walk a x)] (if (tree-term? x) ((composeg (constrain-tree x (fn [t a] ((treec t fc cform) a))) (remcg this)) a) ((composeg (fc x) (remcg this)) a)))) IConstraintRands (rands [_] [x]) IReifiableConstraint (reifyc [_ v r a] (let [x (walk* r x)] `(treec ~x ~cform))))

`defc` should intelligently fill in the details.

Environment

None

Activity

Show:

Details

Assignee

Reporter

Priority

Created December 26, 2012 at 11:27 PM
Updated March 18, 2013 at 12:30 AM