private TransformationTypeTable AddTransformationType(MathIdentifier transformationType)
{
TransformationTypeTable value;
if (!_transformations.TryGetValue(transformationType, out value))
{
value = new TransformationTypeTable(transformationType);
_transformations.Add(transformationType, 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 TryLookupTransformationType(MathIdentifier transformationType, out TransformationTypeTable value)
{
return(_transformations.TryGetValue(transformationType, out value));
}
