ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-20 09:39:38 +01:00
Code Issues Projects Releases Wiki Activity

Use standard example for adfs on the frontend

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2022-09-05 11:36:24 +02:00 committed by monsterkrampe
parent 783cdec878
commit 5d3814cbc0
No known key found for this signature in database
GPG Key ID: B8ADC1F5A5CE5057
1 changed files with 8 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
frontend/src/components/app.tsx
View File

@ -29,25 +29,14 @@ const darkTheme = createTheme({
},
});
const placeholder = `s(7).
s(4).
s(8).
s(3).
s(5).
s(9).
s(10).
s(1).
s(6).
s(2).
ac(7,c(v)).
ac(4,6).
ac(8,or(neg(1),7)).
ac(3,and(or(7,neg(6)),2)).
ac(5,4).
ac(9,neg(7)).
ac(10,and(neg(2),6)).
ac(1,and(neg(7),2)).
ac(6,neg(7)).ac(2,and(neg(9),neg(6))).`;
const placeholder = `s(a).
s(b).
s(c).
s(d).
ac(a,c(v)).
ac(b,b).
ac(c,and(a,b)).
ac(d,neg(b)).`;
enum Parsing {
Naive = 'Naive',