FilesExpand file tree

 v2

/

Or.java

Copy path

BlameMore file actions

BlameMore file actions

Latest commit

 

History

History

History

31 lines (25 loc) · 526 Bytes

 v2

/

Or.java

Top

File metadata and controls

• Code
• Blame

31 lines (25 loc) · 526 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

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

package symjava.logic;

import symjava.symbolic.Expr;

import symjava.symbolic.arity.BinaryOp;

public class Or extends BinaryOp implements Logic {

public Or(Expr l, Expr r) {

super(l, r);

this.label = l+" | "+r;

this.sortKey = this.label;

}

@Override

public Expr simplify() {

return this;

}

@Override

public boolean symEquals(Expr other) {

return false;

}

@Override

public Expr diff(Expr expr) {

return this;

}

public static Expr simplifiedIns(Expr lhs, Expr rhs) {

return new Or(lhs, rhs);

}

}