Module fr.univartois.cril.aceurancetourix

Package fr.univartois.cril.aceurancetourix

Class AceHead

java.lang.Object

java.lang.Thread

main.Head

fr.univartois.cril.aceurancetourix.AceHead

All Implemented Interfaces:

Runnable

public class AceHead
extends main.Head

The AceHead is a specialization of ACE's Head that allows to interact with the solver, and especially to add constraints into it using an API rather than an input XCSP3 file.

Nested Class Summary

Nested classes/interfaces inherited from class main.Head

main.Head.AvailableClasses, main.Head.StructureSharing

Nested classes/interfaces inherited from class java.lang.Thread

Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields inherited from class main.Head

availableClasses, control, instanceIndex, instanceStopwatch, observersConstruction, output, problem, random, solver, stopwatch, structureSharing

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor	Description
AceHead()	Creates a new AceHead.

Method Summary

Modifier and Type	Method	Description
problem.Problem	buildProblem(int i)
protected void	buildProblemAndSolver()
solver.AceBuilder	getBuilder()
solver.Solver	getSolver()
void	interruptSearch()	Interrupts the solver.
fr.univartois.cril.juniverse.core.UniverseSolverResult	isSatisfiable()	Check the satisfiability of the set of constraints contained inside the solver.
fr.univartois.cril.juniverse.core.UniverseSolverResult	isSatisfiable(List<solver.Assumption> assumpts)	Check the satisfiability of the set of constraints contained inside the solver using the specified assumption.
boolean	isTimeExpiredForCurrentInstance()

Methods inherited from class main.Head

buildSolver, main, mustPreserveUnaryConstraints, run, saveMultithreadResultsFiles, solveInstance

Methods inherited from class java.lang.Thread

activeCount, checkAccess, clone, countStackFrames, currentThread, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, onSpinWait, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

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

Constructor Details

AceHead

public AceHead()

Creates a new AceHead.

Method Details

getBuilder

public solver.AceBuilder getBuilder()

Overrides:

getBuilder in class main.Head

isTimeExpiredForCurrentInstance

public boolean isTimeExpiredForCurrentInstance()

Overrides:

isTimeExpiredForCurrentInstance in class main.Head

interruptSearch

public void interruptSearch()

Interrupts the solver.

isSatisfiable

public fr.univartois.cril.juniverse.core.UniverseSolverResult isSatisfiable()

Check the satisfiability of the set of constraints contained inside the solver.

Returns:

A UniverseSolverResult indicating the satisfiability of the problem.

isSatisfiable

public fr.univartois.cril.juniverse.core.UniverseSolverResult isSatisfiable(List<solver.Assumption> assumpts)

Check the satisfiability of the set of constraints contained inside the solver using the specified assumption.

Parameters:

assumpts - The assumptions to consider when solving.

Returns:

The outcome of the search conducted by the solver.

buildProblemAndSolver

protected void buildProblemAndSolver()

getSolver

public solver.Solver getSolver()

buildProblem

public problem.Problem buildProblem(int i)

Overrides:

buildProblem in class main.Head