CurrentHoles
structure FermiPotentialHoles
domain?FermiPotentialHoles
structure DeviceGeometry
domain?DeviceGeometry
structure Device
domain?Device
structure ElectrostaticPotential
domain?ElectrostaticPotential
structure DensityHoles
domain?DensityHoles
structure DeviceOperationState
domain?DeviceOperationState
structure PhysicalConstants
domain?PhysicalConstants
structure BandstructureParameters
domain?BandstructureParameters
structure Mobilities
domain?Mobilities
Defintion of the hole current in gradient form.
The driving force of the current are the negative gradient of
the quasi-Fermi potential, here denoted by j_p.
constant current_holes
type{P:bool}(((predP))((predP))((predP)))
definition[P:bool]([f:(predP),g:(predP)]([x:predP]((((-q)μ_p)(p(fx)(gx)))((g'([z:](Pz)))x))))
parsing-notationj_p b c (precedence 0)