C# 클래스 Cream.IntFunc

상속: Constraint

파일 보기 프로젝트 열기: kikoanis/CSharpCream

공개 메소드들

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

보호된 메소드들

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

비공개 메소드들

메소드	설명
IntFunc ( Cream.Network net, int a, Variable v, ConstraintTypes cType = ConstraintTypes.Hard ) : System
IntFunc ( Cream.Network net, int a, Variable v, ConstraintTypes cType, int weight ) : System
SatisfyABS ( Variable v0, Variable v1, Trail trail ) : bool
SatisfyNEGATE ( Variable v0, Variable v1, Trail trail ) : bool
SatisfySIGN ( Variable v0, Variable v1, Trail trail ) : bool

메소드 상세

Copy() 보호된 메소드

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

IntFunc() 공개 메소드

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

IntFunc() 공개 메소드

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

IntFunc() 공개 메소드

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

IntFunc() 공개 메소드

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

IntFunc() 공개 메소드

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

IntFunc() 공개 메소드

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

IntFunc() 공개 메소드

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

IntFunc() 공개 메소드

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

IntFunc() 공개 메소드

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