|
polylib 7.01
|
#include <types.h>
Public Attributes | |
| unsigned | NbRows |
| unsigned | NbColumns |
| Value ** | p |
| Value * | p_Init |
| int | p_Init_size |
| unsigned matrix::NbColumns |
Definition at line 89 of file types.h.
Referenced by AddANullColumn(), AddANullRow(), addeliminatedparams_evalue(), AddLattice(), affine_periods(), AffinePartSimplify(), AlmostSameAffinePart(), BuildSat(), Chernikova(), compress_parms(), Constraints2Polyhedron(), Constraints_fullDimensionize(), Constraints_permute(), Constraints_Remove_parm_eqs(), Constraints_removeElimCols(), constraintsView(), ConvertPolMattoDarMat(), dehomogenize_polyhedron(), DomainAddConstraints(), DomainAddRays(), Ehrhart_Quick_Apx(), Ehrhart_Quick_Apx_Full_Dim(), Elim_Columns(), eliminable_vars(), eliminate_var_with_constr(), Equalities_integerSolution(), Equalities_intModBasis(), Equalities_validityLattice(), ExchangeRows(), find_a_permutation(), full_dimensionize(), GaussSimplify(), generate_lattice_union_line(), generate_lattice_union_row(), get_equalities(), Hermite(), hermite(), homogenize(), ImplicitEqualities(), int_ker(), isEmptyLattice(), isEqualLattice(), isIntegral(), isNormalLattice(), isSameLatticeSpace(), LatCountZeroCols(), Lattice2LatticeUnion(), Lattice_extractSubLattice(), LatticeDifference(), LatticeIntersection(), LBLAlloc(), LBLPreimage(), LBLSimplify(), left_hermite(), LexSmaller(), linearInter(), main(), MatInverse(), Matrix_Alloc(), Matrix_clone(), Matrix_Copy(), Matrix_Extend(), Matrix_Inverse(), Matrix_Move_Homogeneous_Dim_First(), Matrix_Move_Homogeneous_Dim_Last(), Matrix_oppose(), Matrix_Print(), Matrix_Product(), Matrix_Read_InputFile(), Matrix_Vector_Product(), mpolyhedron_compress_last_vars(), mpolyhedron_deflate(), mpolyhedron_inflate(), mpolyhedron_permute(), mpolyhedron_simplify(), mtransformation_expand_left_to_dim(), mtransformation_inverse(), mtransformation_permute(), Orthogonal_Base(), Polyhedron_Compute_Dual(), polyhedron_dark_source(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Polyhedron_Preimage(), PreElim_Columns(), Print_Vertex(), PutColumnLast(), PutRowFirst(), PutRowLast(), rat_prodmat(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), Reduce_Matrix(), Remove_Redundants(), RemoveColumn(), RemoveNColumns(), RemoveRow(), right_hermite(), same_equalities(), scan_m_face(), Scan_Vertices(), Simplify(), sLBL2ZDomain(), sLBL_Simplify_Zero_Dimensions(), sLBLCanonical(), sLBLComplement(), sLBLCompute_holes(), sLBLImage(), sLBLIntersection(), sLBLMake_lattice_equal_to(), sLBLPreimage(), sLBLSimplify_equalities(), Smith(), SortConstraints(), Soustraire_ligne(), split_constraints(), swap_line(), test_Constraints_fullDimensionize(), TestRank(), traite_m_face(), Transpose(), Union_Read(), valuesWithoutElim(), Vector_Matrix_Product(), and VertexCT().
| unsigned matrix::NbRows |
Definition at line 89 of file types.h.
Referenced by AddANullColumn(), AddANullRow(), addeliminatedparams_evalue(), AddLattice(), AddRays(), affine_periods(), AffinePartSimplify(), AlmostSameAffinePart(), bound_polyhedron(), BuildSat(), CalcBase(), Chernikova(), Constraints2Polyhedron(), Constraints_EhrhartQuickApx(), Constraints_fullDimensionize(), Constraints_permute(), Constraints_Remove_parm_eqs(), Constraints_removeElimCols(), constraintsView(), ConvertPolMattoDarMat(), dehomogenize_polyhedron(), DomainAddConstraints(), DomainAddRays(), DomainSimplify(), Ehrhart_Quick_Apx_Full_Dim(), Elim_Columns(), eliminable_vars(), Equalities_integerSolution(), Equalities_intModBasis(), Equalities_validityLattice(), ExchangeColumns(), existepivot(), find_a_permutation(), FindSimple(), full_dimensionize(), Gauss(), GaussSimplify(), generate_lattice_union_row(), get_pivots(), Hermite(), hermite(), homogenize(), ImplicitEqualities(), int_ker(), isEqualLattice(), isIntegral(), isNormalLattice(), isSameLatticeSpace(), LatCountZeroCols(), Lattice2LatticeUnion(), Lattice_extractSubLattice(), LatticeDifference(), LatticeIntersection(), LBLDifference(), LBLImage(), LBLIntersection(), LBLSimplify(), left_hermite(), LexSmaller(), linearInter(), main(), MatInverse(), Matrix_Alloc(), Matrix_clone(), Matrix_Copy(), Matrix_Extend(), Matrix_Inverse(), Matrix_Move_Homogeneous_Dim_First(), Matrix_Move_Homogeneous_Dim_Last(), Matrix_oppose(), Matrix_Print(), Matrix_Product(), Matrix_Read_InputFile(), Matrix_Vector_Product(), mpolyhedron_compress_last_vars(), mpolyhedron_deflate(), mpolyhedron_eliminate_first_variables(), mpolyhedron_inflate(), mpolyhedron_permute(), mpolyhedron_simplify(), mtransformation_expand_left_to_dim(), mtransformation_inverse(), mtransformation_permute(), Orthogonal_Base(), Param_Polyhedron_Scale_Integer(), Polyhedron_Compute_Dual(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Polyhedron_Preimage(), Polyhedron_Preprocess(), Polyhedron_Remove_parm_eqs(), Polyhedron_Scan(), PreElim_Columns(), Print_Vertex(), PutColumnFirst(), PutColumnLast(), PutRowLast(), rat_prodmat(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), Reduce_Matrix(), Remove_Redundants(), RemoveColumn(), RemoveNColumns(), RemoveRow(), right_hermite(), same_equalities(), SameLinearPart(), Scan_Vertices(), Simplify(), sLBL_Simplify_Zero_Dimensions(), sLBLComplement(), sLBLComplement2(), sLBLImage(), sLBLIntersection(), sLBLMake_lattice_equal_to(), sLBLPreimage(), sLBLPrint(), sLBLSimplify_equalities(), Smith(), SortConstraints(), split_constraints(), SplitLattice(), Stras_DomainSimplify(), test_Constraints_fullDimensionize(), TestRank(), traite_m_face(), TransformSat(), Transpose(), Vector_Matrix_Product(), and VertexCT().
| Value** matrix::p |
Definition at line 90 of file types.h.
Referenced by AddANullColumn(), AddANullRow(), AddConstraints(), addeliminatedparams_evalue(), AddLattice(), affine_periods(), AffinePartSimplify(), AlmostSameAffinePart(), bound_polyhedron(), BuildSat(), CalcBase(), Chernikova(), Constraints2Polyhedron(), Constraints_fullDimensionize(), Constraints_permute(), Constraints_Remove_parm_eqs(), Constraints_removeElimCols(), constraintsView(), ConvertDarMattoPolMat(), ConvertPolMattoDarMat(), dehomogenize_polyhedron(), domain_project(), DomainAddRays(), DomainSimplify(), Elim_Columns(), eliminable_vars(), eliminate_var_with_constr(), EmptyLBL(), Enumeration_zero(), Equalities_integerSolution(), Equalities_intModBasis(), ExchangeColumns(), ExchangeRows(), existepivot(), Find_m_faces(), FindSimple(), full_dimensionize(), Gauss(), GaussSimplify(), generate_lattice_union_line(), generate_lattice_union_row(), GenParamPolyhedron(), GenPoly(), get_equalities(), get_pivots(), hermite(), homogenize(), Identity(), Identity_Matrix(), ImplicitEqualities(), int_ker(), isEqualLattice(), isIntegral(), isNormalLattice(), isSameLatticeSpace(), LatCountZeroCols(), Lattice2LatticeUnion(), LatticeDifference(), LatticeIntersection(), LBLSimplify(), left_hermite(), LexSmaller(), linearInter(), main(), MatInverse(), Matrix_Alloc(), Matrix_Copy(), Matrix_copySubMatrix(), Matrix_Extend(), Matrix_Free(), Matrix_Inverse(), Matrix_Move_Homogeneous_Dim_First(), Matrix_Move_Homogeneous_Dim_Last(), Matrix_oppose(), Matrix_Print(), Matrix_Product(), Matrix_subMatrix(), Matrix_Vector_Product(), mpolyhedron_compress_last_vars(), mpolyhedron_deflate(), mpolyhedron_eliminate_first_variables(), mpolyhedron_inflate(), mpolyhedron_permute(), mpolyhedron_simplify(), mtransformation_expand_left_to_dim(), mtransformation_inverse(), mtransformation_permute(), old_Polyhedron_Preprocess(), Orthogonal_Base(), P_Enum(), Param_Polyhedron_Scale_Integer(), Polyhedron_Compute_Dual(), polyhedron_dark_source(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Polyhedron_Preimage(), Polyhedron_Preprocess(), Polyhedron_Preprocess2(), Polyhedron_Scan(), PolyhedronLTQ(), PreElim_Columns(), Print_Vertex(), PutColumnFirst(), PutColumnLast(), PutRowFirst(), PutRowLast(), rat_prodmat(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), RaySort(), Recession_Cone(), Reduce_Matrix(), Remove_Redundants(), RemoveColumn(), RemoveNColumns(), RemoveRow(), right_hermite(), same_equalities(), SameLinearPart(), scan_m_face(), Scan_Vertices(), Simplify(), SimplifyEqualities(), sLBL_Simplify_Zero_Dimensions(), sLBLCompute_holes(), sLBLIntersection(), sLBLMake_lattice_equal_to(), sLBLPreimage(), SMFree(), SortConstraints(), Soustraire_ligne(), split_constraints(), SplitLattice(), Stras_DomainSimplify(), SubConstraint(), swap_line(), test_Constraints_fullDimensionize(), TestRank(), traite_m_face(), Transpose(), valuesWithoutElim(), Vector_Matrix_Product(), and VertexCT().
| Value* matrix::p_Init |
Definition at line 91 of file types.h.
Referenced by AddRays(), Constraints2Polyhedron(), DomainAddConstraints(), FindSimple(), homogenize(), left_hermite(), Matrix_Alloc(), Matrix_Extend(), Matrix_Free(), Matrix_Product(), Matrix_Read_InputFile(), old_Polyhedron_Preprocess(), Polyhedron2Constraints(), Polyhedron2Rays(), Polyhedron_Compute_Dual(), Polyhedron_Scan(), PolyhedronLTQ(), Rays2Polyhedron(), right_hermite(), SimplifyConstraints(), SimplifyEqualities(), and Smith().
| int matrix::p_Init_size |
Definition at line 92 of file types.h.
Referenced by Matrix_Alloc(), Matrix_Extend(), and Matrix_Free().