| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/ |
| H A D | TCon.hs | 71 , "fin" ~> PC PFin
154 PFin -> KNum :-> KProp
203 | PFin -- ^ @fin _@ constructor
307 PFin -> text "fin"
|
| H A D | SimpleSolver.hs | 64 TCon (PC PFin) [ty] -> cryIsFinType ctxt ty
|
| H A D | TypePat.hs | 163 aFin = tp PFin ar1
|
| H A D | Default.hs | 148 TCon (PC PFin) [ _ ] -> classify leqs (prop : fins) others more
|
| H A D | Type.hs | 497 TCon (PC PFin) [t1] -> Just t1
799 prop = TCon (PC PFin) [ty]
995 (PFin, [t1]) -> optParens (prec > 3) $ text "fin" <+> (go 5 t1)
|
| H A D | Error.hs | 498 PFin -> useCtr
|
| /dports/cad/opencascade/opencascade-7.6.0/src/IntStart/ |
| H A D | IntStart_SearchOnBoundaries.gxx | 777 Standard_Real& PFin,
806 PDeb = PFin = U0;
830 PFin = Umax + 10. * (Umax - Umin);
836 PFin = -1e10;
1100 Standard_Real PDeb,PFin, prm, tol;
1118 TheSOBTool::Bounds(A,PDeb,PFin);
1120 Precision::IsPositiveInfinite(PFin)) {
1122 ComputeBoundsfromInfinite(Func,PDeb,PFin,NbEchant);
1124 … BoundedArc(A,Domain,PDeb,PFin,Func,spnt,sseg,TolBoundary,TolTangency,Arcsol,RecheckOnRegularity);
|
| /dports/cad/opencascade/opencascade-7.6.0/inc/ |
| H A D | IntStart_SearchOnBoundaries.gxx | 777 Standard_Real& PFin,
806 PDeb = PFin = U0;
830 PFin = Umax + 10. * (Umax - Umin);
836 PFin = -1e10;
1100 Standard_Real PDeb,PFin, prm, tol;
1118 TheSOBTool::Bounds(A,PDeb,PFin);
1120 Precision::IsPositiveInfinite(PFin)) {
1122 ComputeBoundsfromInfinite(Func,PDeb,PFin,NbEchant);
1124 … BoundedArc(A,Domain,PDeb,PFin,Func,spnt,sseg,TolBoundary,TolTangency,Arcsol,RecheckOnRegularity);
|
| /dports/devel/py-cadquery-pywrap/pywrap-e8c7bc9/opencascade/ |
| H A D | IntStart_SearchOnBoundaries.gxx | 777 Standard_Real& PFin,
806 PDeb = PFin = U0;
830 PFin = Umax + 10. * (Umax - Umin);
836 PFin = -1e10;
1099 Standard_Real PDeb,PFin, prm, tol;
1117 TheSOBTool::Bounds(A,PDeb,PFin);
1119 Precision::IsPositiveInfinite(PFin)) {
1121 ComputeBoundsfromInfinite(Func,PDeb,PFin,NbEchant);
1123 … BoundedArc(A,Domain,PDeb,PFin,Func,spnt,sseg,TolBoundary,TolTangency,Arcsol,RecheckOnRegularity);
|
| /dports/cad/opencascade/opencascade-7.6.0/src/ChFi3d/ |
| H A D | ChFi3d_Builder_0.cxx | 3932 gp_Pnt PDeb, PFin, Bout; in ChFi3d_PerformElSpine() local
3965 Spine->D1(WL,PFin,VrefFin); in ChFi3d_PerformElSpine()
4061 olin.ChangeCoord().SetLinearForm(-WL,d.XYZ(),PFin.XYZ()); in ChFi3d_PerformElSpine()
4227 if (!ES.IsPeriodic() && !PFin.IsEqual(BSpline->Pole(BSpline->NbPoles()), tol) ) { in ChFi3d_PerformElSpine()
4233 Bout = PFin.Translated(20*rabdist * VrefFin); in ChFi3d_PerformElSpine()
4355 ES.LastPointAndTgt(PFin,VrefFin); in ChFi3d_PerformElSpine()
4357 Standard_Real disfin = PFin.Distance(P2); in ChFi3d_PerformElSpine()
4366 GeomLib::AdjustExtremity(anExtCurve, PDeb, PFin, VrefDeb, VrefFin); in ChFi3d_PerformElSpine()
|
| /dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/source/opencascade/ |
| H A D | utilities.cc | 447 gp_Pnt PFin(0.0, 0.0, 0.0); in join_edges() local
|
| /dports/biology/emboss/EMBOSS-6.6.0/emboss/data/TAXONOMY/ |
| H A D | names.dmp | 883883 664662 | Borrelia sp. PFin | | includes |
|