Class ReachingCopies.LocalPair

  • Enclosing class:
    ReachingCopies

    public class ReachingCopies.LocalPair
    extends Object
    DEFINIING LOCAL PAIR CLASS
    • Constructor Detail

      • LocalPair

        public LocalPair​(Local left,
                         Local right)
    • Method Detail

      • getLeftLocal

        public Local getLeftLocal()
      • getRightLocal

        public Local getRightLocal()
      • contains

        public boolean contains​(Local local)
        Method checks whether local occurs in the left or right side of the localpair different semantics than the usual contains method which checks something in a list