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 void AddPropagationTheorem(IPropagationTheorem theorem)
{
_theorems.Add(theorem.TheoremId, theorem);
AddPropertyProvider(theorem.PropertyTypeId).AddTheorem(theorem);
}
