logical-parser/supporting.go at main · faculerena/logical-parser · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
package main

type nodeType string

const (
	_         nodeType = "unasigned"
	OPERATION          = "operation"
	LEAF               = "leaf"
) // node types

type operationType string

const (
	EMPTY   operationType = ""
	OR                    = "|"
	AND                   = "&"
	NOT                   = "!"
	IFF                   = "="
	IMPLIES               = ">"
) // operation types

type Node struct {
	kind       nodeType
	binOp      operationType
	leafName   string
	isNegatedR bool
	isNegatedL bool
	truthValue trival
	left       *Node
	right      *Node
}

type logicalExpression string

type trival int

const (
	True trival = iota
	False
	Undefined
)

var OrValues = [3][3]trival{
	{True, True, True},
	{True, False, Undefined},
	{Undefined, Undefined, Undefined}}

var AndValues = [3][3]trival{
	{True, False, Undefined},
	{False, False, False},
	{Undefined, Undefined, Undefined}}

var ImpValues = [3][3]trival{
	{True, False, Undefined},
	{True, True, True},
	{Undefined, Undefined, Undefined}}

var IffValues = [3][3]trival{
	{True, False, Undefined},
	{False, True, Undefined},
	{Undefined, Undefined, Undefined}}

var NotValues = [3]trival{False, True, Undefined}