C# Class Cream.DefaultSolver

A branch-and-bound solver.
Inheritance: Solver
Afficher le fichier Open project: kikoanis/CSharpCream Class Usage Examples

Protected Properties

Свойство Type Description
trail Trail

Méthodes publiques

Méthode 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

Méthodes protégées

Méthode 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

Méthode 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 méthode

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 ///
Résultat System

DefaultSolver() public méthode

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 ///
Résultat System

DefaultSolver() public méthode

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 ///
Résultat System

DefaultSolver() public méthode

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 ///
Résultat System

GetValueWithSoftConstraint() public méthode

gets value from soft constraints
public GetValueWithSoftConstraint ( Variable v0 ) : int
v0 Variable /// The v0 (which is a of type variable). ///
Résultat int

InfVariable() protected méthode

InfVariable Method
protected InfVariable ( ) : Variable
Résultat Variable

MinimumSizeVariable() protected méthode

MinimumSizeVariable method
protected MinimumSizeVariable ( ) : Variable
Résultat Variable

ModifiedConstraints() protected méthode

Modified constraints
protected ModifiedConstraints ( ) : IList
Résultat IList

Run() public méthode

Run method
public Run ( ) : void
Résultat void

Satisfy() protected méthode

The Satisfy process will get rid of the domains items that are satisfied with the constraints
protected Satisfy ( ) : bool
Résultat bool

SelectVariable() public méthode

Selects a varaible for the current stage
public SelectVariable ( ) : Variable
Résultat Variable

Solve() protected méthode

Solves the specified level.
protected Solve ( int level ) : void
level int /// The level. ///
Résultat void

Start() public méthode

Start method
public Start ( long timeout ) : void
timeout long /// The timeout. ///
Résultat void

Property Details

trail protected_oe property

trail object
protected Trail,Cream trail
Résultat Trail