C# 클래스 WellFormedNames.SubstitutionSet.ConstraintSubstitutionSetImplementation

상속: ISetImplementation

파일 보기 프로젝트 열기: GAIPS-INESC-ID/FAtiMA-Toolkit

공개 메소드들

메소드	설명
AddSubstitution ( Substitution s ) : void
CalculateHashCode ( int emptyHash, SubstitutionSet set ) : int
Clone ( ) : ISetImplementation
ConstraintSubstitutionSetImplementation ( ) : System
ContainsVariable ( Name variable ) : bool
Count ( ) : int
GetEnumerator ( ) : IEnumerator
GetGroundedSubstitutions ( SubstitutionSet other ) : IEnumerable
GetValue ( Name variable ) : Name
TestConflict ( Substitution subs, SubstitutionSet set, bool &canAdd ) : bool

메소드 상세

AddSubstitution() 공개 메소드

public AddSubstitution ( Substitution s ) : void
s	Substitution
리턴	void

CalculateHashCode() 공개 메소드

public CalculateHashCode ( int emptyHash, SubstitutionSet set ) : int
emptyHash	int
set	SubstitutionSet
리턴	int

Clone() 공개 메소드

public Clone ( ) : ISetImplementation
리턴	ISetImplementation

ConstraintSubstitutionSetImplementation() 공개 메소드

public ConstraintSubstitutionSetImplementation ( ) : System
리턴	System

ContainsVariable() 공개 메소드

public ContainsVariable ( Name variable ) : bool
variable	Name
리턴	bool

Count() 공개 메소드

public Count ( ) : int
리턴	int

GetEnumerator() 공개 메소드

public GetEnumerator ( ) : IEnumerator
리턴	IEnumerator

GetGroundedSubstitutions() 공개 메소드

public GetGroundedSubstitutions ( SubstitutionSet other ) : IEnumerable
other	SubstitutionSet
리턴	IEnumerable

GetValue() 공개 메소드

public GetValue ( Name variable ) : Name
variable	Name
리턴	Name

TestConflict() 공개 메소드

public TestConflict ( Substitution subs, SubstitutionSet set, bool &canAdd ) : bool
subs	Substitution
set	SubstitutionSet
canAdd	bool
리턴	bool