C# Класс Cream.IntArith

Наследование: Constraint

Показать файл Открыть проект

Открытые методы

Метод	Описание
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

Защищенные методы

Метод	Описание
Copy ( Cream.Network net ) : Constraint
IsModified ( ) : bool
IsSatisfied ( ) : bool
Satisfy ( Trail trail ) : bool

Приватные методы

Метод	Описание
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

Описание методов

Copy() защищенный Метод

protected Copy ( Cream.Network net ) : Constraint
net	Cream.Network
Результат	Constraint

IntArith() публичный Метод

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
Результат	System

IntArith() публичный Метод

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
Результат	System

IntArith() публичный Метод

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
Результат	System

IntArith() публичный Метод

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
Результат	System

IntArith() публичный Метод

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
Результат	System

IntArith() публичный Метод

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
Результат	System

IntArith() публичный Метод

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
Результат	System

IntArith() публичный Метод

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
Результат	System

IntArith() публичный Метод

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
Результат	System

IntArith() публичный Метод

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
Результат	System

IntArith() публичный Метод

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
Результат	System

IntArith() публичный Метод

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
Результат	System

IsModified() защищенный Метод

protected IsModified ( ) : bool
Результат	bool

IsSatisfied() защищенный Метод

protected IsSatisfied ( ) : bool
Результат	bool

Satisfy() защищенный Метод

protected Satisfy ( Trail trail ) : bool
trail	Trail
Результат	bool

ToString() публичный Метод

public ToString ( ) : String
Результат	String