Package org.jacop.fz

Class Solve<T extends Var>

java.lang.Object

org.jacop.fz.Solve<T>

All Implemented Interfaces:

ParserTreeConstants

public class Solve<T extends Var>
extends Object
implements ParserTreeConstants

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	Solve.CostListener<T extends Var>
static class	Solve.PrecisionSetting

Field Summary

Fields

Modifier and Type	Field	Description
(package private) Var	costVariable
(package private) boolean	debug
(package private) boolean	defaultSearch
(package private) Tables	dictionary
(package private) FailConstraintsStatistics	failStatistics
(package private) DepthFirstSearch<T>[]	final_search
(package private) Search<T>	final_search_seq
(package private) int	finalNumberSolutions
(package private) Var	flatzincCost
(package private) DepthFirstSearch<T>	flatzincDFS
(package private) SelectChoicePoint<T>	flatzincVariableSelection
(package private) boolean	heuristicSeqSearch
(package private) int	initNumberConstraints
(package private) long	initTime
(package private) DepthFirstSearch<T>	label
StringBuffer	lastSolution
(package private) ArrayList<Search<T>>	list_seq_searches
(package private) boolean	minimize
(package private) NumberFormat	nf
(package private) int	numberSolutions
(package private) boolean	optimization
(package private) Options	options
(package private) static final String	p
(package private) boolean	print_search_info
(package private) int	probability
(package private) IntVar[]	relaxVars
(package private) Calculator	restartCalculator
(package private) boolean	result
(package private) RestartSearch<T>	rs
(package private) SatTranslation	sat
(package private) long	searchTime
(package private) SearchItem<T>	si
(package private) boolean	singleSearch
(package private) int	solveKind
(package private) long	startCPU
(package private) Store	store
(package private) Timer	timer
(package private) SelectChoicePoint<T>	variable_selection

Fields inherited from interface org.jacop.fz.ParserTreeConstants

JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, JJTFLOATTIEXPRTAIL, JJTINTFLATEXPR, JJTINTLITERALS, JJTINTTIEXPRTAIL, JJTMODEL, JJTMODELEND, jjtNodeName, JJTSCALARFLATEXPR, JJTSETELEMENT, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID

Constructor Summary

Constructors

Constructor	Description
Solve(Store store, SatTranslation sat)	It creates a parser for the solve part of the flatzinc file.

Method Summary

Modifier and Type	Method	Description
(package private) boolean	anyTimeOutOccured(ArrayList<Search<T>> list_seq_searches)
(package private) void	credit_search(DepthFirstSearch<T> label, int creditValue, int bbsValue)
(package private) DepthFirstSearch<T>	float_search(SearchItem<T> si)
(package private) IntVar	getCost(ASTSolveExpr node)
(package private) FloatVar	getCostFloat(ASTSolveExpr node)
(package private) double	getInitTime_ms()
(package private) int	getKind(String k)
(package private) DepthFirstSearch<T>	getLastSearch(DepthFirstSearch<T> s)
SearchItem<T>	getSearch()
(package private) double	getSearchTime_ms()
int	getSolveKind()
(package private) void	helperSolutionPrinter(String lastSolution)
(package private) DepthFirstSearch<T>	int_search(SearchItem<T> si)
(package private) void	lds_search(DepthFirstSearch<T> label, int lds_value)
(package private) ArrayList<SearchItem<T>>	parseSearchAnnotations(ArrayList<SearchItem<T>> search_seq)
(package private) void	pose(Constraint c)
(package private) void	printSearch(DepthFirstSearch<T> s)
(package private) void	printSolution()
void	printStatistics(boolean interrupted, boolean result)
(package private) void	printStatisticsForSeqSearch(boolean interrupted, boolean result)
(package private) void	printStatisticsForSingleSearch(boolean interrupted, boolean result)
void	printStatisticsIterrupt()
(package private) DepthFirstSearch<T>	priority_search(SearchItem<T> si)
(package private) void	run_sequence_search(int solveKind, SimpleNode kind, SearchItem<T> si)
(package private) void	run_single_search(int solveKind, SimpleNode kind, SearchItem<T> si)
void	search(ASTSolveItem node, Tables table, Options opt)	It parses the solve part.
(package private) void	searchForAll(DepthFirstSearch<T> label)
(package private) DepthFirstSearch<T>	set_search(SearchItem<T> si)
(package private) DepthFirstSearch<T>[]	setSubSearchForAll(DepthFirstSearch<T> label, Options opt)
void	solveModel(SimpleNode astTree, Tables table, Options opt)
(package private) void	startTimer()
void	statistics(boolean result)
(package private) DepthFirstSearch<T>	sub_search(SearchItem<T> si, DepthFirstSearch<T> l, boolean master)
(package private) DepthFirstSearch<T>	warm_start_search(SearchItem<T> si)

Methods inherited from class java.lang.Object

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

Field Details

dictionary

Tables dictionary

options

Options options

store

Store store

initNumberConstraints

int initNumberConstraints

timer

Timer timer

startCPU

long startCPU

initTime

long initTime

searchTime

long searchTime

variable_selection

SelectChoicePoint<T extends Var> variable_selection

list_seq_searches

ArrayList<Search<T extends Var>> list_seq_searches

debug

boolean debug

print_search_info

boolean print_search_info

heuristicSeqSearch

boolean heuristicSeqSearch

costVariable

Var costVariable

restartCalculator

Calculator restartCalculator

rs

RestartSearch<T extends Var> rs

singleSearch

boolean singleSearch

result

boolean result

optimization

boolean optimization

minimize

boolean minimize

si

SearchItem<T extends Var> si

defaultSearch

boolean defaultSearch

label

DepthFirstSearch<T extends Var> label

final_search

DepthFirstSearch<T extends Var>[] final_search

final_search_seq

Search<T extends Var> final_search_seq

flatzincDFS

DepthFirstSearch<T extends Var> flatzincDFS

flatzincVariableSelection

SelectChoicePoint<T extends Var> flatzincVariableSelection

flatzincCost

Var flatzincCost

solveKind

int solveKind

sat

SatTranslation sat

lastSolution

public StringBuffer lastSolution

failStatistics

FailConstraintsStatistics failStatistics

nf

NumberFormat nf

numberSolutions

int numberSolutions

relaxVars

IntVar[] relaxVars

probability

int probability

finalNumberSolutions

int finalNumberSolutions

p

static final String p

Constructor Details

Solve

public Solve(Store store,
 SatTranslation sat)

It creates a parser for the solve part of the flatzinc file.

Parameters:

store - the constraint store within which context the search will take place.

sat - sat translation used

Method Details

solveModel

public void solveModel(SimpleNode astTree,
 Tables table,
 Options opt)

search

public void search(ASTSolveItem node,
 Tables table,
 Options opt)

It parses the solve part.

Parameters:

node - the current parsing node.

table - the table containing all the various variable definitions encoutered thus far.

opt - option specifies to flatzinc parser in respect to search (e.g. all solutions).

parseSearchAnnotations

ArrayList<SearchItem<T>> parseSearchAnnotations(ArrayList<SearchItem<T>> search_seq)

run_single_search

void run_single_search(int solveKind,
 SimpleNode kind,
 SearchItem<T> si)

searchForAll

void searchForAll(DepthFirstSearch<T> label)

statistics

public void statistics(boolean result)

printStatisticsIterrupt

public void printStatisticsIterrupt()

printStatistics

public void printStatistics(boolean interrupted,
 boolean result)

printStatisticsForSingleSearch

void printStatisticsForSingleSearch(boolean interrupted,
 boolean result)

setSubSearchForAll

DepthFirstSearch<T>[] setSubSearchForAll(DepthFirstSearch<T> label,
 Options opt)

run_sequence_search

void run_sequence_search(int solveKind,
 SimpleNode kind,
 SearchItem<T> si)

getLastSearch

DepthFirstSearch<T> getLastSearch(DepthFirstSearch<T> s)

printStatisticsForSeqSearch

void printStatisticsForSeqSearch(boolean interrupted,
 boolean result)

getSearchTime_ms

double getSearchTime_ms()

getInitTime_ms

double getInitTime_ms()

anyTimeOutOccured

boolean anyTimeOutOccured(ArrayList<Search<T>> list_seq_searches)

sub_search

DepthFirstSearch<T> sub_search(SearchItem<T> si,
 DepthFirstSearch<T> l,
 boolean master)

int_search

DepthFirstSearch<T> int_search(SearchItem<T> si)

warm_start_search

DepthFirstSearch<T> warm_start_search(SearchItem<T> si)

set_search

DepthFirstSearch<T> set_search(SearchItem<T> si)

float_search

DepthFirstSearch<T> float_search(SearchItem<T> si)

priority_search

DepthFirstSearch<T> priority_search(SearchItem<T> si)

printSolution

void printSolution()

getKind

int getKind(String k)

getCost

IntVar getCost(ASTSolveExpr node)

getCostFloat

FloatVar getCostFloat(ASTSolveExpr node)

pose

void pose(Constraint c)

lds_search

void lds_search(DepthFirstSearch<T> label,
 int lds_value)

credit_search

void credit_search(DepthFirstSearch<T> label,
 int creditValue,
 int bbsValue)

printSearch

void printSearch(DepthFirstSearch<T> s)

getSearch

public SearchItem<T> getSearch()

getSolveKind

public int getSolveKind()

helperSolutionPrinter

void helperSolutionPrinter(String lastSolution)

startTimer

void startTimer()