src/hastabel/lang/Equals.java


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

package hastabel.lang;

import java.util.List;

public class Equals extends Formula
{
   private final Expression a, b;

   public Equals (final Expression a, final Expression b)
   {
      this.a = a;
      this.b = b;
   }

   public Expression get_first_operand ()
   {
      return a;
   }

   public Expression get_second_operand ()
   {
      return b;
   }

   @Override
   public boolean equals (Object o)
   {
      final Equals e;

      if ((o == null) || !(o instanceof Equals))
      {
         return false;
      }

      e = (Equals) o;

      return (e.a.equals(a) && e.b.equals(b));
   }

   @Override
   public String toString ()
   {
      return "(eq " + a.toString() + " " + b.toString() + ")";
   }
}