C# Class Cream.DefaultSolver

A branch-and-bound solver.

Inheritance: Solver

Exibir arquivo Open project: kikoanis/CSharpCream Class Usage Examples

Protected Properties

Property	Type	Description
trail	Trail

Public Methods

Method	Description
DefaultSolver ( Cream.Network network ) : System	Initializes a new instance of the DefaultSolver class. Constructs a branch-and-bound solver for the given network. This constructor is equivalent to `DefaultSolver(network, Default, null)`.
DefaultSolver ( Cream.Network network, int options ) : System	Initializes a new instance of the DefaultSolver class. Constructs a branch-and-bound solver for the given network and options. This constructor is equivalent to `DefaultSolver(network, options, null)`.
DefaultSolver ( Cream.Network network, int options, string name ) : System	Initializes a new instance of the DefaultSolver class. Constructs a branch-and-bound solver for the given network, options, and name.
DefaultSolver ( Cream.Network network, string name ) : System	Initializes a new instance of the DefaultSolver class. Constructs a branch-and-bound solver for the given network and name. This constructor is equivalent to `DefaultSolver(network, Default, name)`.
GetValueWithSoftConstraint ( Variable v0 ) : int	gets value from soft constraints
Run ( ) : void	Run method
SelectVariable ( ) : Variable	Selects a varaible for the current stage
Start ( long timeout ) : void	Start method

Protected Methods

Method	Description
InfVariable ( ) : Variable	InfVariable Method
MinimumSizeVariable ( ) : Variable	MinimumSizeVariable method
ModifiedConstraints ( ) : IList	Modified constraints
Satisfy ( ) : bool	The Satisfy process will get rid of the domains items that are satisfied with the constraints
Solve ( int level ) : void	Solves the specified level.

Private Methods

Method	Description
DeleteDomainFromBestValueToMaxValue ( Variable objective ) : Cream.IntDomain
DeleteDomainFromMinValueToBestValue ( Variable objective ) : Cream.IntDomain
GetGeneratedSolution ( ) : void
GetSolutionWeight ( ) : int	gets solution weight
IsBetterSolution ( int totalWeight ) : bool	a method to check if it's a better solution
IsSoftConstraintsUsed ( ) : bool

Method Details

DefaultSolver() public method

Initializes a new instance of the DefaultSolver class. Constructs a branch-and-bound solver for the given network. This constructor is equivalent to DefaultSolver(network, Default, null).

public DefaultSolver ( Cream.Network network ) : System
network	Cream.Network	/// the constraint network ///
return	System

DefaultSolver() public method

Initializes a new instance of the DefaultSolver class. Constructs a branch-and-bound solver for the given network and options. This constructor is equivalent to DefaultSolver(network, options, null).

public DefaultSolver ( Cream.Network network, int options ) : System
network	Cream.Network	/// the constraint network ///
options	int	/// the options for search strategy ///
return	System

DefaultSolver() public method

Initializes a new instance of the DefaultSolver class. Constructs a branch-and-bound solver for the given network, options, and name.

public DefaultSolver ( Cream.Network network, int options, string name ) : System
network	Cream.Network	/// the constraint network ///
options	int	/// the options for search strategy, or Default for default search strategy ///
name	string	/// the name of the solver, or `null` for a default name ///
return	System

DefaultSolver() public method

Initializes a new instance of the DefaultSolver class. Constructs a branch-and-bound solver for the given network and name. This constructor is equivalent to DefaultSolver(network, Default, name).

public DefaultSolver ( Cream.Network network, string name ) : System
network	Cream.Network	/// the constraint network ///
name	string	/// the name of the solver ///
return	System

GetValueWithSoftConstraint() public method

gets value from soft constraints

public GetValueWithSoftConstraint ( Variable v0 ) : int
v0	Variable	/// The v0 (which is a of type variable). ///
return	int

InfVariable() protected method

InfVariable Method

protected InfVariable ( ) : Variable
return	Variable

MinimumSizeVariable() protected method

MinimumSizeVariable method

protected MinimumSizeVariable ( ) : Variable
return	Variable

ModifiedConstraints() protected method

Modified constraints

protected ModifiedConstraints ( ) : IList
return	IList

Run() public method

Run method

public Run ( ) : void
return	void

Satisfy() protected method

The Satisfy process will get rid of the domains items that are satisfied with the constraints

protected Satisfy ( ) : bool
return	bool

SelectVariable() public method

Selects a varaible for the current stage

public SelectVariable ( ) : Variable
return	Variable

Solve() protected method

Solves the specified level.

protected Solve ( int level ) : void
level	int	/// The level. ///
return	void

Start() public method

Start method

public Start ( long timeout ) : void
timeout	long	/// The timeout. ///
return	void

Property Details

trail protected_oe property

trail object

protected Trail,Cream trail
return	Trail