void syten::IPEPSv2::ATwoOp::assert_correctness | ( | ) |
SYTEN_ASSERT()s that the operator legs as specified in phys_*_*
have the right direction in op
(and, implicitly, that op
has such legs).
References syten::STensorImpl::STensor::b(), syten::STensorImpl::SBasis::dir(), syten::Inc, op, syten::Out, phys_inp_l, phys_inp_r, phys_out_l, phys_out_r, and SYTEN_ASSERT_MSG.
Referenced by syten::IPEPSv2::add(), and syten::IPEPSv2::mult().