Module org.maxicp

Package org.maxicp.search

Class SetTimes

java.lang.Object

org.maxicp.search.SetTimes

public class SetTimes
extends Object

Set Times Branching

Constructor Summary

Constructors

Constructor	Description
SetTimes(CPIntervalVar[] intervals, IntFunction<Integer> tieBreaker)

Method Summary

Modifier and Type	Method	Description
List<Runnable>	alternatives()
boolean	isInconsistent(Runnable callable)
static Supplier<Runnable[]>	setTimes(CPIntervalVar[] intervals, IntFunction<Integer> tieBreaker)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SetTimes

public SetTimes(CPIntervalVar[] intervals,
 IntFunction<Integer> tieBreaker)

Method Details

setTimes

public static Supplier<Runnable[]> setTimes(CPIntervalVar[] intervals,
 IntFunction<Integer> tieBreaker)

alternatives

public List<Runnable> alternatives()

isInconsistent

public boolean isInconsistent(Runnable callable)