C# Class WellFormedNames.SubstitutionSet.ConstraintSubstitutionSetImplementation

Inheritance: ISetImplementation

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

Méthodes publiques

Méthode	Description
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

Method Details

AddSubstitution() public méthode

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

CalculateHashCode() public méthode

public CalculateHashCode ( int emptyHash, SubstitutionSet set ) : int
emptyHash	int
set	SubstitutionSet
Résultat	int

Clone() public méthode

public Clone ( ) : ISetImplementation
Résultat	ISetImplementation

ConstraintSubstitutionSetImplementation() public méthode

public ConstraintSubstitutionSetImplementation ( ) : System
Résultat	System

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

TestConflict() public méthode

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