private PropertyProviderTable AddPropertyProvider(MathIdentifier propertyType)
{
PropertyProviderTable value;
if (!_properties.TryGetValue(propertyType, out value))
{
value = new PropertyProviderTable(propertyType);
_properties.Add(propertyType, value);
}
return(value);
}
public void AddTheorem(ITheorem theorem)
{
_theorems.Add(theorem.TheoremId, theorem);
ITransformationTheorem transTheorem = theorem as ITransformationTheorem;
if (transTheorem != null)
{
TransformationTypeTable table = AddTransformationType(transTheorem.TransformationTypeId);
table.Add(transTheorem);
}
IPropagationTheorem propTheorem = theorem as IPropagationTheorem;
if (propTheorem != null)
{
PropertyProviderTable table = AddPropertyProvider(propTheorem.PropertyTypeId);
table.AddTheorem(propTheorem);
}
}
public bool TryLookupPropertyProvider(MathIdentifier propertyType, out PropertyProviderTable value)
{
return(_properties.TryGetValue(propertyType, out value));
}