Class AssignConstraint

java.lang.Object
cruise.umple.nusmv.ModuleElement
cruise.umple.nusmv.AssignConstraint
public class AssignConstraint extends ModuleElement

  • Field Details

  • Constructor Details

    • AssignConstraint

      public AssignConstraint(Assign... allAssigns)

  • Method Details

    • getAssign

      public Assign getAssign(int index)

    • getAssigns

      public List<Assign> getAssigns()
      Association Definition

    • numberOfAssigns

      public int numberOfAssigns()

    • hasAssigns

      public boolean hasAssigns()

    • indexOfAssign

      public int indexOfAssign(Assign aAssign)

    • minimumNumberOfAssigns

      public static int minimumNumberOfAssigns()

    • addAssign

      public boolean addAssign(Assign aAssign)

    • removeAssign

      public boolean removeAssign(Assign aAssign)

    • setAssigns

      public boolean setAssigns(Assign... newAssigns)

    • addAssignAt

      public boolean addAssignAt(Assign aAssign, int index)

    • addOrMoveAssignAt

      public boolean addOrMoveAssignAt(Assign aAssign, int index)

    • delete

      public void delete()
      Overrides:
      delete in class ModuleElement

    • _toString

      public StringBuilder _toString(Integer numSpaces, StringBuilder sb)

    • toString

      public String toString()
      Overrides:
      toString in class ModuleElement