Class DisjunctiveConstraint


  • public class DisjunctiveConstraint
    extends Constraint
    • Constructor Detail

      • DisjunctiveConstraint

        protected DisjunctiveConstraint​(long cPtr,
                                        boolean cMemoryOwn)
    • Method Detail

      • makeSequenceVar

        public SequenceVar makeSequenceVar()
        Creates a sequence variable from the constraint.
      • setTransitionTime

        public void setTransitionTime​(java.util.function.LongBinaryOperator transition_time)
        Add a transition time between intervals. It forces the distance between
        the end of interval a and start of interval b that follows it to be at
        least transition_time(a, b). This function must always return
        a positive or null value.
      • transitionTime

        public long transitionTime​(int before_index,
                                   int after_index)