search

kiselev / aic-praise

Automatically exported from code.google.com/p/aic-praise
0 stars 0 forks source link

Rule Converter, registration of domain size information for R_simplify calls, determine if correct #9

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
Determine if the call to 
CardinalityTypeOfLogicalVariable.registerDomainSizeOfLogicalVariableWithProcess 
needs to lookup the domain size based on the information provided or if a large 
enough constant is sufficient.

Original issue reported on code.google.com by ctjoreilly@gmail.com on 11 Apr 2013 at 1:04

GoogleCodeExporter commented 8 years ago 
Use a default (set to 1000) should be fine as the use of R_simplify and 
R_complete_simplify in this logic is not relying on cardinality calculations.

Original comment by ctjoreilly@gmail.com on 15 Jun 2013 at 2:42