FilesExpand file tree

 master

/

Not.java

Copy path

BlameMore file actions

BlameMore file actions

Latest commit

 

History

History

History

32 lines (25 loc) · 507 Bytes

 master

/

Not.java

Top

File metadata and controls

• Code
• Blame

32 lines (25 loc) · 507 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

32

package symjava.logic;

import symjava.symbolic.Expr;

import symjava.symbolic.arity.UnaryOp;

public class Not extends UnaryOp implements Logic {

public Not(Expr arg) {

super(arg);

this.label = "!"+arg;

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 expr) {

return new Not(expr);

}

}