C# Class WellFormedNames.SubstitutionSet.SimpleImplementation

Inheritance: ISetImplementation

Mostra file Open project: GAIPS-INESC-ID/FAtiMA-Toolkit

Public Methods

Method	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

Method	Description
AddSubs ( Name variable, Name value ) : void

Method Details

AddSubstitution() public method

public AddSubstitution ( Substitution s ) : void
s	Substitution
return	void

CalculateHashCode() public method

public CalculateHashCode ( int emptyHashCode, SubstitutionSet subs ) : int
emptyHashCode	int
subs	SubstitutionSet
return	int

Clone() public method

public Clone ( ) : ISetImplementation
return	ISetImplementation

ContainsVariable() public method

public ContainsVariable ( Name variable ) : bool
variable	Name
return	bool

Count() public method

public Count ( ) : int
return	int

GetEnumerator() public method

public GetEnumerator ( ) : IEnumerator
return	IEnumerator

GetGroundedSubstitutions() public method

public GetGroundedSubstitutions ( SubstitutionSet other ) : IEnumerable
other	SubstitutionSet
return	IEnumerable

GetValue() public method

public GetValue ( Name variable ) : Name
variable	Name
return	Name

SimpleImplementation() public method

public SimpleImplementation ( ) : System
return	System

TestConflict() public method

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