Function sequant::io::serialization::v1::transform::tilde_vacuum¶
Defined in File ast_conversions.hpp
Function Documentation¶
-
inline Vacuum sequant::io::serialization::v1::transform::tilde_vacuum(Statistics s)¶
the vacuum of a tilde-labelled NormalOperator: NormalOperator::label() is the tilde label for every non-Physical vacuum