CloudStyleStudio aic-expresso issues - Githubissues

CloudStyleStudio / aic-expresso

Automatically exported from code.google.com/p/aic-expresso

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add support for quantified expressions when unknown type size during direct cardinality computation

#9 GoogleCodeExporter opened 8 years ago
0
Provide Explanation for stack overflow when not flattening conjunctions on construction

#8 GoogleCodeExporter opened 8 years ago
0
Throw exception from R_card if called for quantified cases and no domain size information is available

#7 GoogleCodeExporter opened 8 years ago
0
Implement open interpretation provider for previous message expressions and bounds placeholders so that LambdaApplication applies properly

#6 GoogleCodeExporter opened 8 years ago
2
Add general purpose unifying conceptual map

#5 GoogleCodeExporter opened 8 years ago
0
GrinderUtil extend contextual variables logic needs to work with constants and not just logical variables

#4 GoogleCodeExporter opened 8 years ago
0
Is there away to have the process track scoped variables as well as to the superset (contextual variables)

#3 GoogleCodeExporter opened 8 years ago
0
Retrieve domain information associated with logical variables from models with multiple domains

#2 GoogleCodeExporter opened 8 years ago
0
Generalize AnytimeRefiner (RewriteRefiner) logic and make thread safe

#1 GoogleCodeExporter opened 8 years ago
0