Method | 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 |
public AddSubstitution ( Substitution s ) : void | ||
s | Substitution | |
return | void |
public CalculateHashCode ( int emptyHash, SubstitutionSet set ) : int | ||
emptyHash | int | |
set | SubstitutionSet | |
return | int |
public ConstraintSubstitutionSetImplementation ( ) : System | ||
return | System |
public ContainsVariable ( Name variable ) : bool | ||
variable | Name | |
return | bool |
public GetGroundedSubstitutions ( SubstitutionSet other ) : IEnumerable |
||
other | SubstitutionSet | |
return | IEnumerable |
public TestConflict ( Substitution subs, SubstitutionSet set, bool &canAdd ) : bool | ||
subs | Substitution | |
set | SubstitutionSet | |
canAdd | bool | |
return | bool |