FilesExpand file tree

 master

/

Neq.java

Copy path

BlameMore file actions

BlameMore file actions

Latest commit

 

History

History

History

38 lines (32 loc) · 776 Bytes

 master

/

Neq.java

Top

File metadata and controls

• Code
• Blame

38 lines (32 loc) · 776 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

33

34

35

36

37

38

package symjava.relational;

import symjava.symbolic.Expr;

import symjava.symbolic.arity.BinaryOp;

public class Neq extends BinaryOp implements Relation {

public Neq(Expr arg1, Expr arg2) {

super(arg1, arg2);

this.label = arg1 + " != " + arg2;

this.sortKey = this.label;

}

@Override

public Expr simplify() {

return this;

}

@Override

public boolean symEquals(Expr other) {

return false;

}

@Override

public Expr diff(Expr expr) {

// TODO Auto-generated method stub

return null;

}

public static Neq apply(Expr lhs, Expr rhs) {

return new Neq(lhs, rhs);

}

public static Neq apply(double lhs, Expr rhs) {

return new Neq(Expr.valueOf(lhs), rhs);

}

public static Neq apply(Expr lhs, double rhs) {

return new Neq(lhs, Expr.valueOf(rhs));

}

}