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)); }