Class PartialRedundancy


  • public class PartialRedundancy
    extends Object
    Partial redundancy between left and right. Redundancy stores the connection between left and right.
    • Constructor Detail

      • PartialRedundancy

        public PartialRedundancy​(Cause left,
                                 Cause right,
                                 Redundancy redundancy)
        Parameters:
        left - Left side parent.
        right - Right side parent.
        redundancy - Connection between left and right.
    • Method Detail

      • getLeft

        public Cause getLeft()
      • getRedundancy

        public Redundancy getRedundancy()
      • getRight

        public Cause getRight()