C# 클래스 Cream.IntComparison

상속: Constraint
파일 보기 프로젝트 열기: kikoanis/CSharpCream 1 사용 예제들

공개 메소드들

메소드 설명
IntComparison ( Cream.Network net, int comp, Variable v0, Variable v1 ) : System
IntComparison ( Cream.Network net, int comp, Variable v0, Variable v1, ConstraintTypes cType ) : System
IntComparison ( Cream.Network net, int comp, Variable v0, Variable v1, ConstraintTypes cType, int weight ) : System
IntComparison ( Cream.Network net, int comp, Variable v0, int x1 ) : System
IntComparison ( Cream.Network net, int comp, Variable v0, int x1, ConstraintTypes cType ) : System
IntComparison ( Cream.Network net, int comp, Variable v0, int x1, ConstraintTypes cType, int weight ) : System
IntComparison ( Cream.Network net, int comp, int x0, Variable v1 ) : System
IntComparison ( Cream.Network net, int comp, int x0, Variable v1, ConstraintTypes cType ) : System
IntComparison ( Cream.Network net, int comp, int x0, Variable v1, ConstraintTypes cType, int weight ) : System
ToString ( ) : String

보호된 메소드들

메소드 설명
Copy ( Cream.Network net ) : Constraint
IsModified ( ) : bool
IsSatisfied ( ) : bool
Satisfy ( Trail trail ) : bool

비공개 메소드들

메소드 설명
IntComparison ( Cream.Network net, int comp, Variable v, ConstraintTypes cType = ConstraintTypes.Hard ) : System
IntComparison ( Cream.Network net, int comp, Variable v, ConstraintTypes cType, int weight ) : System
SatisfyLE ( Variable v0, Variable v1, Trail trail ) : bool
SatisfyLT ( Variable v0, Variable v1, Trail trail ) : bool

메소드 상세

Copy() 보호된 메소드

protected Copy ( Cream.Network net ) : Constraint
net Cream.Network
리턴 Constraint

IntComparison() 공개 메소드

public IntComparison ( Cream.Network net, int comp, Variable v0, Variable v1 ) : System
net Cream.Network
comp int
v0 Variable
v1 Variable
리턴 System

IntComparison() 공개 메소드

public IntComparison ( Cream.Network net, int comp, Variable v0, Variable v1, ConstraintTypes cType ) : System
net Cream.Network
comp int
v0 Variable
v1 Variable
cType ConstraintTypes
리턴 System

IntComparison() 공개 메소드

public IntComparison ( Cream.Network net, int comp, Variable v0, Variable v1, ConstraintTypes cType, int weight ) : System
net Cream.Network
comp int
v0 Variable
v1 Variable
cType ConstraintTypes
weight int
리턴 System

IntComparison() 공개 메소드

public IntComparison ( Cream.Network net, int comp, Variable v0, int x1 ) : System
net Cream.Network
comp int
v0 Variable
x1 int
리턴 System

IntComparison() 공개 메소드

public IntComparison ( Cream.Network net, int comp, Variable v0, int x1, ConstraintTypes cType ) : System
net Cream.Network
comp int
v0 Variable
x1 int
cType ConstraintTypes
리턴 System

IntComparison() 공개 메소드

public IntComparison ( Cream.Network net, int comp, Variable v0, int x1, ConstraintTypes cType, int weight ) : System
net Cream.Network
comp int
v0 Variable
x1 int
cType ConstraintTypes
weight int
리턴 System

IntComparison() 공개 메소드

public IntComparison ( Cream.Network net, int comp, int x0, Variable v1 ) : System
net Cream.Network
comp int
x0 int
v1 Variable
리턴 System

IntComparison() 공개 메소드

public IntComparison ( Cream.Network net, int comp, int x0, Variable v1, ConstraintTypes cType ) : System
net Cream.Network
comp int
x0 int
v1 Variable
cType ConstraintTypes
리턴 System

IntComparison() 공개 메소드

public IntComparison ( Cream.Network net, int comp, int x0, Variable v1, ConstraintTypes cType, int weight ) : System
net Cream.Network
comp int
x0 int
v1 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