PAT Forum
Would you like to react to this message? Create an account in a few clicks or log in to continue.

how to get all possible solutions

2 posters

Go down

how to get all possible solutions Empty how to get all possible solutions

Post  gsreddy Thu Dec 06, 2012 3:18 pm

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..



gsreddy

Posts : 1
Join date : 2012-12-06

Back to top Go down

how to get all possible solutions Empty Re: how to get all possible solutions

Post  pat team Thu Dec 06, 2012 3:34 pm

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.

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 team
Admin

Posts : 17
Join date : 2010-02-15

http://www.comp.nus.edu.sg/~pat/

Back to top Go down

Back to top


 
Permissions in this forum:
You cannot reply to topics in this forum