文件名称：DSL-ContraintSolver:这是用于约束解决的DSL
文件大小：33KB
文件格式：ZIP
更新时间：2024-05-31 02:23:12
Java
### Info：该项目将一种特定于域的Languange（DSL）实现为LL（1）语法，该语法允许定义变量以及变量和值之间的等价关系和不等式。 例如： x = { x1, x2, x3 } y = { y1, y2, y3 } z = { z1, z2, z3 } { (y1, z1), (y2, z2), y3, z3) } !{ (x1, y2), (x1, y3), (x2, y1), (x2, y3), (x3, y1), (x3, y2) } ＃＃＃语法： 这是我为DSL定义的语法： Dsl ::= Statement RestStatement RestStatement ::= Statement DSL | Statement ::= Declaration | Relation Declaration ::= Variable
【文件预览】：
DSL-ContraintSolver-master
----bin()
--------Test.class(2KB)
--------student.class(1KB)
--------professor.class(349B)
--------Relation.class(1KB)
--------Value.class(747B)
--------Solver.class(8KB)
--------Dsl.class(2KB)
--------Scanner.class(2KB)
--------Parser.class(5KB)
--------Couple.class(1005B)
--------Person.class(320B)
--------Declaration.class(1KB)
--------Variable.class(743B)
--------Statement.class(252B)
--------Scanner$Type.class(1KB)
--------scema.class(2KB)
--------SyntaxException.class(273B)
----dummyOutput(15KB)
----LS3x3(1KB)
----.settings()
--------org.eclipse.jdt.core.prefs(617B)
----src()
--------Variable.java(499B)
--------Couple.java(268B)
--------Solver.java(7KB)
--------Parser.java(5KB)
--------Relation.java(618B)
--------Declaration.java(464B)
--------Dsl.java(1KB)
--------Value.java(623B)
--------Test.java~(983B)
--------Scanner.java(1KB)
--------SyntaxException.java(93B)
--------Test.java(989B)
--------Statement.java(66B)
----.project(376B)
----LS3x3Sols(15KB)
----.classpath(295B)
----dummyInput(153B)
----README.md(1KB)