Skip to content

Instantly share code, notes, and snippets.

@kpmy kpmy/blab.xml
Created Apr 14, 2016

Embed
What would you like to do?
<?xml version="1.0" encoding="UTF-8"?>
<unit name="Logic">
<reg name="c" builtin="true" type="BOOLEAN">
<becomes>
<dyadic-expression op="|">
<dyadic-expression op="|">
<dyadic-expression op="&amp;">
<monadic-expression op="~">
<selector-expression unit="Logic" variable="a" inner="none" />
</monadic-expression>
<selector-expression unit="Logic" variable="b" inner="none" />
</dyadic-expression>
<selector-expression unit="Logic" variable="c" inner="none" />
</dyadic-expression>
<constant-expression type="BOOLEAN">true</constant-expression>
</dyadic-expression>
</becomes>
</reg>
<reg name="p" builtin="true" type="TRILEAN">
<becomes>
<constant-expression type="BOOLEAN">true</constant-expression>
</becomes>
</reg>
<reg name="q" builtin="true" type="TRILEAN">
<becomes>
<constant-expression type="BOOLEAN">false</constant-expression>
</becomes>
</reg>
<reg name="r" builtin="true" type="TRILEAN">
<becomes>
<ternary-expression>
<dyadic-expression op="=">
<selector-expression unit="Logic" variable="r" inner="none" />
<constant-expression type="TRILEAN">null</constant-expression>
</dyadic-expression>
<dyadic-expression op="|">
<dyadic-expression op="|">
<dyadic-expression op="&amp;">
<selector-expression unit="Logic" variable="p" inner="none" />
<monadic-expression op="~">
<selector-expression unit="Logic" variable="q" inner="none" />
</monadic-expression>
</dyadic-expression>
<selector-expression unit="Logic" variable="r" inner="none" />
</dyadic-expression>
<constant-expression type="BOOLEAN">true</constant-expression>
</dyadic-expression>
<constant-expression type="TRILEAN">null</constant-expression>
</ternary-expression>
</becomes>
</reg>
<reg name="a" builtin="true" type="BOOLEAN">
<becomes>
<constant-expression type="BOOLEAN">true</constant-expression>
</becomes>
</reg>
<reg name="b" builtin="true" type="BOOLEAN">
<becomes>
<constant-expression type="BOOLEAN">false</constant-expression>
</becomes>
</reg>
</unit>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.