Concepts

Here is a list of all concepts with brief descriptions:

Nmundy
Nsearch
RAABBSearchInputType	A NeighborListInputType whose component yields an AABB — the broad-phase volume expected by the AABB-based neighbor lists (STK and ArborX)
RAABBSearchInputTypeFor	An AABBSearchInputType whose component yields an AABB in Scalar precision
RExcluderType	Specifies a build-time excluder object that can prepare itself for selected target/source chunks
RNeighborListInputType	The fixed "identity" of a neighbor-list input, encoding which group of entities are searched and how to read their geometry
RNeighborListType	Specifies the protocol that all Mundy neighbor-list implementations must satisfy
RPeriodicAABBSearchInputType	An AABBSearchInputType that also carries a periodicity metric (PeriodicSearchInput)
RRebuilderType	Specifies a stateful policy that decides when a neighbor list needs to be rebuilt
RAnyStringSink
RChunkedStringSink
RCompileTimeStringSink
RCQPPSolverStrategy	The strategy interface the solve_cqpp driver requires: initialize/iterate/done/result. Any method that solves a CQPP (PGD today, see pgd.hpp) satisfies this. Structurally generic across iterative methods
RDevicePrintableThrowMessage
RFinitePrimitive	Concept: satisfied by primitives with finite spatial extent (is_finite == true)
RHasCallOperator	A concept that checks if Accessor has a () operator regardless of constness
RHasConstAccessOperator	A concept that checks if Accessor has a const [] operator
RHasConstStoredAccessOperator	A concept that checks if a stored accessor provides const access to T
RHasCopyConstructor	A concept that checks if Accessor has a copy constructor
RHasDefaultConstructor	A concept that checks if an Accessor is default constructible
RHasMoveConstructor	A concept that checks if Accessor has a move constructor
RHasNArgConstructor	A concept that checks if an Accessor is constructible from N arguments of type T
RHasNonConstAccessOperator	A concept that checks if Accessor has a non-const [] operator
RHasNonConstStoredAccessOperator	A concept that checks if a stored accessor provides non-const access to T
RHasScaledApplyMember	Concept for an operator that provides its own fused scaled-apply: y := alpha * op(x) + beta * y. Backend::apply(alpha, op, x, beta, y) dispatches here when available, and falls back to a plain apply-then-axpby otherwise – so an operator need not implement this to be used with a scaled apply, but gets a faster fused path when it does (e.g. to skip recomputing an expensive per-element coefficient when alpha == 0)
RHasSubscriptOperator	A concept that checks if Accessor has a [] operator regardless of constness
RLinearOperator	Concept for a linear operator's shape/apply contract under a given backend: domain_size, range_size, and apply(x, y). An operator may additionally provide apply(x, y, workspace) and/or a scaled-apply apply(alpha, x, beta, y) member, but neither is required by this concept – both degrade gracefully (see impl::make_workspace and HasScaledApplyMember below)
RLiteralStringSink
RProjectedProblem	The problem interface projected-gradient descent consumes: a backend, an operator A and linear term q defining the quadratic 0.5 x^T A x + q^T x, a convex space to project onto, and a mutable operator workspace
RScalarBinaryOpSupported	Whether operation Op between scalar types A and B is supported (the trait exposes a ReturnType). Use to constrain mixed-type operators
RStoredAccessor	A concept that checks if Accessor is wrapped in storage
RValidAABBType	Concept to determine if a type is a valid AABB type
RValidAccessor	A concept that checks if an type is a valid accessor, aka it has a const [] operator or a non-const [] operator
RValidBallJointType	Concept to check if a type is a valid BallJoint type
RValidCircle3DType	Concept to determine if a type is a valid Circle3D type
RValidConvexSpace	Concept for a valid convex space: a value_type plus project(x) and operator()(x) that both return it
RValidEllipsoidType	Concept to check if a type is an Ellipsoid
RValidFeneSpringType	Concept to check if a type is a valid FeneSpring type
RValidHookeanSpringType	Concept to check if a type is a valid HookeanSpring type
RValidLineSegmentType	Concept to check if a type is a valid LineSegment type
RValidLineType	Concept to check if a type is a valid Line type
RValidMatrix3Type	A temporary concept to check if a type is a valid Matrix3 type TODO(palmerb4): Extend this concept to contain all shared setters and getters for our quaternions
RValidMatrixType	A temporary concept to check if a type is a valid AMatrix type TODO(palmerb4): Extend this concept to contain all shared setters and getters for our quaternions
RValidOBBType
RValidPointType	Concept to check if a type has the necessary properties to be a valid Point type As a predicate to creating a new point type, specialize is_point for the new type
RValidQuaternionType	A temporary concept to check if a type is a valid AQuaternion type TODO(palmerb4): Extend this concept to contain all shared setters and getters for our quaternions
RValidRingType	Concept to check if a type is a valid Ring type
RValidScalarType	Concept satisfied by any type that is a mathematical scalar. It is a single value closed under +, -, *, /, unary - and constructible from a numeric literal
RValidScalarWrapperType
RValidSphereType	Concept to check if a type is a valid Sphere type
RValidSpherocylinderSegmentType	Concept to check if a type is a valid SpherocylinderSegment type
RValidSpherocylinderType	Concept to check if a type is a valid Spherocylinder type
RValidTorsionalSpringType	Concept to check if a type is a valid TorsionalSpring type
RValidVector3Type	A temporary concept to check if a type is a valid AVector3 type TODO(palmerb4): Extend this concept to contain all shared setters and getters for our vectors
RValidVectorType	A temporary concept to check if a type is a valid AVector type TODO(palmerb4): Extend this concept to contain all shared setters and getters for our vectors
RValidVSegmentType	Concept to check if a type is a valid VSegment type
RVectorBackend	Concept for a backend's vector-level operations: size, axpby, a plain inner product, and deep_copy