how to get all possible solutions
2 posters
PAT Forum :: Support :: Using PAT :: CSP and PCSP Module
Page 1 of 1
how to get all possible solutions
How to get all possible solutions..
for example: if i try to model product of two numbers (x,y) and the result should be equal to 12
the various possible values of x and y
x=12 y=1
x=6 y=2
x=4 y=3
x=3 y=4
x=2 y=6
x=1 y=12
is there any way to assert to get all solutions..
for example: if i try to model product of two numbers (x,y) and the result should be equal to 12
the various possible values of x and y
x=12 y=1
x=6 y=2
x=4 y=3
x=3 y=4
x=2 y=6
x=1 y=12
is there any way to assert to get all solutions..
gsreddy- Posts : 1
Join date : 2012-12-06
Re: how to get all possible solutions
PAT's reachablity search will stop when one solution is found.
We are thinking to add a logging method to allow user to write something to a text file, then
you can log all the results into a text file and set the reachablity condition to false.
We are thinking to add a logging method to allow user to write something to a text file, then
you can log all the results into a text file and set the reachablity condition to false.
gsreddy wrote:How to get all possible solutions..
for example: if i try to model product of two numbers (x,y) and the result should be equal to 12
the various possible values of x and y
x=12 y=1
x=6 y=2
x=4 y=3
x=3 y=4
x=2 y=6
x=1 y=12
is there any way to assert to get all solutions..
PAT Forum :: Support :: Using PAT :: CSP and PCSP Module
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum
|
|