public Signal ManipulateSignal(Signal original, Signal replacement, bool isReplaced)
{
ITransformationTheorem trans = _transformations.Default;
if (trans != null)
{
if (_configure != null)
{
_configure(trans);
}
return(trans.ManipulateSignal(original, replacement, isReplaced));
}
return(replacement);
}
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 AddTransformationTheorem(ITransformationTheorem theorem)
{
_theorems.Add(theorem.TheoremId, theorem);
AddTransformationType(theorem.TransformationTypeId).Add(theorem);
}
