mirror of
https://github.com/JuliaFEM/JuliaFEM.jl.git
synced 2026-09-20 01:59:59 +00:00
Jukka Aho
d59b32fed5
Replace monolithic Physics struct and boundary condition types with
simpler physics category types used for trait-based dispatch.
- Remove Physics struct (Formulation, Field, Mesh, Material coupling)
- Remove DirichletBC and NeumannBC boundary condition storage types
- Remove Constraint type
- Add Elasticity{Dim} and Thermal{Dim} physics category types
- Add required_field_type trait function for physics-to-field mapping
- Simplify to type tags for material trait dispatch
- Support compile-time field type inference from physics
- Align with new architecture: physics types are dispatch tags, not problem containers
92 lines
2.5 KiB
Julia
92 lines
2.5 KiB
Julia
# This file is a part of JuliaFEM.
|
|
# License is MIT: see https://github.com/JuliaFEM/JuliaFEM.jl/blob/master/LICENSE.md
|
|
|
|
"""
|
|
Physics category types for material trait dispatch.
|
|
|
|
Defines abstract physics categories used for:
|
|
- Material trait functions (required_field_type)
|
|
- Material cache generation
|
|
- Physics-based dispatch
|
|
|
|
These are lower-level type tags, not complete FEM problems.
|
|
"""
|
|
|
|
"""
|
|
Elasticity{Dim} <: AbstractPhysics
|
|
|
|
Elasticity physics in Dim dimensions (2D or 3D).
|
|
|
|
Used for trait-based dispatch to determine required fields:
|
|
```julia
|
|
required_field_type(Elasticity{3}()) # → Displacement{3}
|
|
```
|
|
"""
|
|
struct Elasticity{Dim} <: AbstractPhysics end
|
|
|
|
"""
|
|
Thermal{Dim} <: AbstractPhysics
|
|
|
|
Thermal physics (heat transfer) in Dim dimensions (2D or 3D).
|
|
|
|
Used for trait-based dispatch:
|
|
```julia
|
|
required_field_type(Thermal{2}()) # → Temperature (2D plane heat)
|
|
required_field_type(Thermal{3}()) # → Temperature (3D heat)
|
|
required_field_type(Thermal{2}()) # → Temperature (rotational symmetric 2D)
|
|
```
|
|
"""
|
|
struct Thermal{Dim} <: AbstractPhysics end
|
|
|
|
# Note: Fluid physics type will be added when Velocity field type is implemented
|
|
# """
|
|
# Fluid{Dim} <: AbstractPhysics
|
|
#
|
|
# Fluid physics in Dim dimensions.
|
|
#
|
|
# Used for trait-based dispatch:
|
|
# ```julia
|
|
# required_field_type(Fluid{3}()) # → Velocity{3}
|
|
# ```
|
|
# """
|
|
# struct Fluid{Dim} <: AbstractPhysics end
|
|
|
|
# ============================================================================
|
|
# TRAIT FUNCTIONS
|
|
# ============================================================================
|
|
|
|
"""
|
|
required_field_type(physics::AbstractPhysics)
|
|
|
|
Returns the field type required by the given physics.
|
|
|
|
Used for compile-time inference of material cache structure and
|
|
field requirements.
|
|
|
|
# Examples
|
|
```julia
|
|
required_field_type(Elasticity{3}()) # → Displacement{3}
|
|
required_field_type(Thermal{2}()) # → Temperature (2D)
|
|
required_field_type(Thermal{3}()) # → Temperature (3D)
|
|
```
|
|
|
|
Materials can declare their physics requirements:
|
|
```julia
|
|
struct ThermoElasticMaterial <: AbstractMaterial
|
|
# ...
|
|
end
|
|
|
|
# Material supports both elasticity and thermal physics
|
|
supported_physics(::ThermoElasticMaterial) = (Elasticity{3}(), Thermal{3}())
|
|
|
|
# System maps this to required field types:
|
|
# Elasticity{3} → Displacement{3}
|
|
# Thermal → Temperature
|
|
```
|
|
"""
|
|
function required_field_type end
|
|
|
|
required_field_type(::Elasticity{Dim}) where Dim = Displacement{Dim}
|
|
required_field_type(::Thermal{Dim}) where Dim = Temperature
|
|
# required_field_type(::Fluid{Dim}) where Dim = Velocity{Dim} # Add when Velocity field exists
|