C# Класс WellFormedNames.SubstitutionSet.ConstraintSubstitutionSetImplementation

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

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

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

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