UnimprovedTimeMillisSpentTermination |
UnimprovedTimeMillisSpentTermination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
UnimprovedStepCountTermination |
UnimprovedStepCountTermination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
TimeMillisSpentTermination |
TimeMillisSpentTermination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
Termination |
Termination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType)
|
StepCountTermination |
StepCountTermination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
ScoreCalculationCountTermination |
ScoreCalculationCountTermination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
Termination |
PhaseToSolverTerminationBridge.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
OrCompositeTermination |
OrCompositeTermination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
Termination |
ChildThreadPlumbingTermination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
Termination |
BestScoreTermination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
Termination |
BestScoreFeasibleTermination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
Termination |
BasicPlumbingTermination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
AndCompositeTermination |
AndCompositeTermination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
Termination |
AbstractTermination.createChildThreadTermination(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |
protected List<Termination> |
AbstractCompositeTermination.createChildThreadTerminationList(DefaultSolverScope solverScope,
ChildThreadType childThreadType) |