meelgroup / baital Goto Github PK
View Code? Open in Web Editor NEWLicense: MIT License
License: MIT License
Hello,
I was using Baital when I discovered that some variables are not present in the returned sample file.
I think this is due to variables that exist, but are not present in any constraint (so any value is allowed). Such unconstrained variable can be created by FeatureIDE, for example with an optional feature directly linked to the root feature, and not appearing in cross-tree constraints.
More specifically, it seems that the variable is not returned only if it is the last variable of the problem.
I give you an example feature model (in UVL format, but the extension is .txt because github would not let me upload it).
jnerd.txt
You should remark that the feature Gradle
is not constrained. It is processed last by FeatureIDE, hence it is the 6th variable in the generated .dimacs file. When generating samples with baital, this variable is not present in the output samples.
I tested WAPS and I did not see the same issue. My guess would be that d4 or Dsharp are not used the same way in Baital and WAPS. In the generated .nnf file of Baital there is no occurence of the variable, but there is an occurence in the .nnf file generated by WAPS.
I hope that I was clear enough, I can give you more data (the generated dimacs, a comparison when exchanging the features Maven
and Gradle
, making Gradle
the 5th variable, the sample files, etc) if necessary.
Best regards.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.