Class LeaveRelation


  • public class LeaveRelation
    extends UnitContainerRelation
    A relation indicating that a unit leaves a unit container.
    • Constructor Detail

      • LeaveRelation

        public LeaveRelation​(Unit s,
                             UnitContainer t,
                             int line)
        Creates a new LeaveRelation object.
        Parameters:
        s - The leaving unit
        t - The left container
        line - The order line that caused this
      • LeaveRelation

        public LeaveRelation​(Unit s,
                             UnitContainer t,
                             int line,
                             boolean implicit)
        Creates a new LeaveRelation object.
        Parameters:
        s - The leaving unit
        t - The left container
        line - The order line that caused this
        implicit - indicates that another command (like ENTER or MOVE) caused this
    • Method Detail

      • isImplicit

        public boolean isImplicit()
        Returns true if this relation is not explicitly caused by a command.