- b -

  • backwardReachabilityObsOCC() : faudes
  • backwardVerificationLCC() : faudes
  • backwardVerificationOCC() : faudes
  • Basis() : faudes

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen