public Library(Context context)
{
this.context = context;
this.entityTable = new EntityTable();
this.archTable = new ArchitectureTable();
this.theoremTable = new TheoremTable();
this.structureTable = new StructureTable();
}
public void AppendTheorems(TheoremTable table)
{
if (table == null)
{
throw new ArgumentNullException("table");
}
#region Arithmetics
table.AddTheorem(Arithmetics.AdditionArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.SubtractionArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.MultiplicationArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.DivisionArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.NegateArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.InvertArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.AbsoluteArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.ExponentialArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.NaturalLogarithmArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.SquareArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.PowerArchitectures.BuildTheorems(context));
#endregion
#region Trigonometry
table.AddTheorem(Trigonometry.SineArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.CosineArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.TangentArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.CotangentArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.SecantArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.CosecantArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.HyperbolicSineArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.HyperbolicCosineArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.HyperbolicTangentArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.HyperbolicCotangentArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.HyperbolicSecantArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.HyperbolicCosecantArchitectures.BuildTheorems(context));
#endregion
#region Flow
table.AddTheorem(Flow.TransportArchitecture.BuildTheorems(context));
#endregion
#region Other
table.AddTheorem(GenericMathOpArchitecture.BuildTheorems(context));
#endregion
}
public void AppendTheorems(TheoremTable table)
{
if(table == null)
throw new ArgumentNullException("table");
#region Arithmetics
table.AddTheorem(Arithmetics.AdditionArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.SubtractionArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.MultiplicationArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.DivisionArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.NegateArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.InvertArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.AbsoluteArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.ExponentialArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.NaturalLogarithmArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.SquareArchitectures.BuildTheorems(context));
table.AddTheorem(Arithmetics.PowerArchitectures.BuildTheorems(context));
#endregion
#region Trigonometry
table.AddTheorem(Trigonometry.SineArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.CosineArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.TangentArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.CotangentArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.SecantArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.CosecantArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.HyperbolicSineArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.HyperbolicCosineArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.HyperbolicTangentArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.HyperbolicCotangentArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.HyperbolicSecantArchitectures.BuildTheorems(context));
table.AddTheorem(Trigonometry.HyperbolicCosecantArchitectures.BuildTheorems(context));
#endregion
#region Flow
table.AddTheorem(Flow.TransportArchitecture.BuildTheorems(context));
#endregion
#region Other
table.AddTheorem(GenericMathOpArchitecture.BuildTheorems(context));
#endregion
}
