C# Class Cream.IntArith

Inheritance: Constraint
Afficher le fichier Open project: kikoanis/CSharpCream

Méthodes publiques

Méthode Description
IntArith ( Cream.Network net, int a, Variable v0, Variable v1, Variable v2 ) : System
IntArith ( Cream.Network net, int a, Variable v0, Variable v1, Variable v2, ConstraintTypes cType ) : System
IntArith ( Cream.Network net, int a, Variable v0, Variable v1, Variable v2, ConstraintTypes cType, int weight ) : System
IntArith ( Cream.Network net, int a, Variable v0, Variable v1, int x2 ) : System
IntArith ( Cream.Network net, int a, Variable v0, Variable v1, int x2, ConstraintTypes cType ) : System
IntArith ( Cream.Network net, int a, Variable v0, Variable v1, int x2, ConstraintTypes cType, int weight ) : System
IntArith ( Cream.Network net, int a, Variable v0, int x1, Variable v2 ) : System
IntArith ( Cream.Network net, int a, Variable v0, int x1, Variable v2, ConstraintTypes cType ) : System
IntArith ( Cream.Network net, int a, Variable v0, int x1, Variable v2, ConstraintTypes cType, int weight ) : System
IntArith ( Cream.Network net, int a, int x0, Variable v1, Variable v2 ) : System
IntArith ( Cream.Network net, int a, int x0, Variable v1, Variable v2, ConstraintTypes cType ) : System
IntArith ( Cream.Network net, int a, int x0, Variable v1, Variable v2, ConstraintTypes cType, int weight ) : System
ToString ( ) : String

Méthodes protégées

Méthode Description
Copy ( Cream.Network net ) : Constraint
IsModified ( ) : bool
IsSatisfied ( ) : bool
Satisfy ( Trail trail ) : bool

Private Methods

Méthode Description
Divide ( Cream.IntDomain d0, Cream.IntDomain d1, Cream.IntDomain d2 ) : Cream.IntDomain
IntArith ( Cream.Network net, int a, Variable v, ConstraintTypes cType = ConstraintTypes.Hard ) : System
IntArith ( Cream.Network net, int a, Variable v, ConstraintTypes cType, int weight ) : System
Max ( int x ) : int
Min ( int x ) : int
Multiply ( Cream.IntDomain d0, Cream.IntDomain d1, Cream.IntDomain d2 ) : Cream.IntDomain
SatisfyAdd ( Variable v0, Variable v1, Variable v2, Trail trail ) : bool
SatisfyMAX ( Variable v0, Variable v1, Variable v2, Trail trail ) : bool
SatisfyMIN ( Variable v0, Variable v1, Variable v2, Trail trail ) : bool
SatisfyMULTIPLY ( Variable v0, Variable v1, Variable v2, Trail trail ) : bool
ToInt ( long x ) : int

Method Details

Copy() protected méthode

protected Copy ( Cream.Network net ) : Constraint
net Cream.Network
Résultat Constraint

IntArith() public méthode

public IntArith ( Cream.Network net, int a, Variable v0, Variable v1, Variable v2 ) : System
net Cream.Network
a int
v0 Variable
v1 Variable
v2 Variable
Résultat System

IntArith() public méthode

public IntArith ( Cream.Network net, int a, Variable v0, Variable v1, Variable v2, ConstraintTypes cType ) : System
net Cream.Network
a int
v0 Variable
v1 Variable
v2 Variable
cType ConstraintTypes
Résultat System

IntArith() public méthode

public IntArith ( Cream.Network net, int a, Variable v0, Variable v1, Variable v2, ConstraintTypes cType, int weight ) : System
net Cream.Network
a int
v0 Variable
v1 Variable
v2 Variable
cType ConstraintTypes
weight int
Résultat System

IntArith() public méthode

public IntArith ( Cream.Network net, int a, Variable v0, Variable v1, int x2 ) : System
net Cream.Network
a int
v0 Variable
v1 Variable
x2 int
Résultat System

IntArith() public méthode

public IntArith ( Cream.Network net, int a, Variable v0, Variable v1, int x2, ConstraintTypes cType ) : System
net Cream.Network
a int
v0 Variable
v1 Variable
x2 int
cType ConstraintTypes
Résultat System

IntArith() public méthode

public IntArith ( Cream.Network net, int a, Variable v0, Variable v1, int x2, ConstraintTypes cType, int weight ) : System
net Cream.Network
a int
v0 Variable
v1 Variable
x2 int
cType ConstraintTypes
weight int
Résultat System

IntArith() public méthode

public IntArith ( Cream.Network net, int a, Variable v0, int x1, Variable v2 ) : System
net Cream.Network
a int
v0 Variable
x1 int
v2 Variable
Résultat System

IntArith() public méthode

public IntArith ( Cream.Network net, int a, Variable v0, int x1, Variable v2, ConstraintTypes cType ) : System
net Cream.Network
a int
v0 Variable
x1 int
v2 Variable
cType ConstraintTypes
Résultat System

IntArith() public méthode

public IntArith ( Cream.Network net, int a, Variable v0, int x1, Variable v2, ConstraintTypes cType, int weight ) : System
net Cream.Network
a int
v0 Variable
x1 int
v2 Variable
cType ConstraintTypes
weight int
Résultat System

IntArith() public méthode

public IntArith ( Cream.Network net, int a, int x0, Variable v1, Variable v2 ) : System
net Cream.Network
a int
x0 int
v1 Variable
v2 Variable
Résultat System

IntArith() public méthode

public IntArith ( Cream.Network net, int a, int x0, Variable v1, Variable v2, ConstraintTypes cType ) : System
net Cream.Network
a int
x0 int
v1 Variable
v2 Variable
cType ConstraintTypes
Résultat System

IntArith() public méthode

public IntArith ( Cream.Network net, int a, int x0, Variable v1, Variable v2, ConstraintTypes cType, int weight ) : System
net Cream.Network
a int
x0 int
v1 Variable
v2 Variable
cType ConstraintTypes
weight int
Résultat System

IsModified() protected méthode

protected IsModified ( ) : bool
Résultat bool

IsSatisfied() protected méthode

protected IsSatisfied ( ) : bool
Résultat bool

Satisfy() protected méthode

protected Satisfy ( Trail trail ) : bool
trail Trail
Résultat bool

ToString() public méthode

public ToString ( ) : String
Résultat String