One :Thank you Carsten Schultz,Daniel Fischer,Mihai and all the other for
your help.
Two:After my last post I wrote some function that should help me in the
future,but I need some help with the followint as I'm tired and have to fit
in a schedule.I know it is long so I'll try and explain it as
A project...this are my last questions,I'm not proeficient in haskell...this
explains why Im stuck... http://pastebin.com/GxQBh3hx
--
View this message in context:
http://haskell.1045720.n5.nabble.com/Haskell-Functions-tp3369769p3369938.html
Sent from the Haskell - Haskell-Cafe mailing list
*can't
--
View this message in context:
http://haskell.1045720.n5.nabble.com/Haskell-function-help-tp3365994p3368001.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
I didn't write it like that...because since I'm using the dot notation I can
specify aguments for the function...I rectified that...sorry I forgot to
mention
--
View this message in context:
http://haskell.1045720.n5.nabble.com/Haskell-function-help-tp3365994p3368000.html
Sent from the Haskell
One :Thank you Carsten Schultz,Daniel Fischer and all the other for your
help.
Two:After my last post I wrote some function that should help me in the
future,but I need some help with the followint as I'm tired and have to fit
in a schedule.I know it is long so I'll try and explain it as short
I didn't upload the code for the funtion I wrote because of the space...I ca
do so If you require.
--
View this message in context:
http://haskell.1045720.n5.nabble.com/Haskell-DPLL-tp3368123p3368130.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
I have a Question about haskell
1. is a something more complicated and I need some help with it if
possible.. In order to check the satisfiability of a formula in a given
model we propagate the effects of assigning a truth value to an atom in a
formula. Assume an atom to which we assign the
it's atoms = atomsClause.concat
--
View this message in context:
http://haskell.1045720.n5.nabble.com/Haskell-function-help-tp3365994p3366134.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
___
Haskell-Cafe mailing list
thank you for the reply
--
View this message in context:
http://haskell.1045720.n5.nabble.com/Haskell-function-help-tp3365994p3366135.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
___
Haskell-Cafe mailing list
that is really.complicated...hmm
--
View this message in context:
http://haskell.1045720.n5.nabble.com/Haskell-function-help-tp3365994p3366154.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
___
Haskell-Cafe mailing
How about this...?
assign :: (Atom,Bool) - Formula - Formula
assign (a,b) = map . (map f) where
f (x,b) = (x,(x==a)b)
--
View this message in context:
http://haskell.1045720.n5.nabble.com/Haskell-function-help-tp3365994p3366965.html
Sent from the Haskell - Haskell-Cafe mailing list archive
thank you
--
View this message in context:
http://haskell.1045720.n5.nabble.com/Haskell-WalkSat-algorithm-implementation-tp3365064p3365124.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
___
Haskell-Cafe mailing list
12 matches
Mail list logo