示例#1
0
 public Library(Context context)
 {
     this.context        = context;
     this.entityTable    = new EntityTable();
     this.archTable      = new ArchitectureTable();
     this.theoremTable   = new TheoremTable();
     this.structureTable = new StructureTable();
 }
示例#2
0
        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
        }