C# Class WellFormedNames.SubstitutionSet.SimpleImplementation

Inheritance: ISetImplementation

Afficher le fichier Open project: GAIPS-INESC-ID/FAtiMA-Toolkit

Méthodes publiques

Méthode	Description
AddSubstitution ( Substitution s ) : void
CalculateHashCode ( int emptyHashCode, SubstitutionSet subs ) : int
Clone ( ) : ISetImplementation
ContainsVariable ( Name variable ) : bool
Count ( ) : int
GetEnumerator ( ) : IEnumerator
GetGroundedSubstitutions ( SubstitutionSet other ) : IEnumerable
GetValue ( Name variable ) : Name
SimpleImplementation ( ) : System
TestConflict ( Substitution subs, SubstitutionSet set, bool &canAdd ) : bool

Private Methods

Méthode	Description
AddSubs ( Name variable, Name value ) : void

Method Details

AddSubstitution() public méthode

public AddSubstitution ( Substitution s ) : void
s	Substitution
Résultat	void

CalculateHashCode() public méthode

public CalculateHashCode ( int emptyHashCode, SubstitutionSet subs ) : int
emptyHashCode	int
subs	SubstitutionSet
Résultat	int

Clone() public méthode

public Clone ( ) : ISetImplementation
Résultat	ISetImplementation

ContainsVariable() public méthode

public ContainsVariable ( Name variable ) : bool
variable	Name
Résultat	bool

Count() public méthode

public Count ( ) : int
Résultat	int

GetEnumerator() public méthode

public GetEnumerator ( ) : IEnumerator
Résultat	IEnumerator

GetGroundedSubstitutions() public méthode

public GetGroundedSubstitutions ( SubstitutionSet other ) : IEnumerable
other	SubstitutionSet
Résultat	IEnumerable

GetValue() public méthode

public GetValue ( Name variable ) : Name
variable	Name
Résultat	Name

SimpleImplementation() public méthode

public SimpleImplementation ( ) : System
Résultat	System

TestConflict() public méthode

public TestConflict ( Substitution subs, SubstitutionSet set, bool &canAdd ) : bool
subs	Substitution
set	SubstitutionSet
canAdd	bool
Résultat	bool