Comments (4)
It's not necessarily incorrect. It all depends on the semantics we agree on. For now I'm closing the issue, because the model behaves as expected. I sent an email several days ago about semantics of primitive clafers. Feel free to comment and show this example!
from clafer.
I don't see why the model behaves as expected. The semantics of "or" has long been defined in Clafer as having the same meaning as FODA's or-group cardinality, unless it had changed to something different. As far as I know, an or group defines that at least one subclafer must occur (in the case of ThomasEdison, exactly english and french). I don't see why having 2 instances as result is correct. Could you please clarify on that?
from clafer.
You said that or means at least 1, so 1) only english is correct, 2) both english and other = 2 is correct. The constraint says other = "french", which was translated to universal quantification: all x : other | x.ref = french. Universal quantification doesn't imply that there is an instance of other. Feel free to contribute to https://github.com/gsdlab/clafer/wiki/Experimental:-Attributes
from clafer.
Hmm. Got it :)
from clafer.
Related Issues (20)
- Incorrect neutral element for missing values
- Top-level abstract clafer extending a nested abstract clafer HOT 2
- The help message of claferIG does not explain how to change global scope HOT 1
- Precedence of ternary conditional expression in Clafer HOT 2
- Optimize away navigation paths to clafers with global cardinality <= 1
- Choco output should reflect the IR for group cardinality inheritance HOT 6
- Compiler enters infinite loop on inheritance by same type HOT 1
- Cannot inherit from a nested abstract clafer which itself has a superclafer
- add support for min and max to Alloy generator
- add backend compatibility information to the CheatSheet HOT 1
- Allow inheritance from concrete clafers
- Fresh install of 0.4.3 from Hackage fails HOT 2
- Support `parent` of top-level abstract clafers HOT 1
- Allow navigation paths containing <:
- Incorrect ambiguous name error
- help debugging the "dref problem"
- incorrect choco output for reference to a constant HOT 2
- allow self-explanatory parent expression HOT 1
- desugar enum to abstract final clafer in dynamic model
- Link broken for binary distribution? HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from clafer.