- o -

• o : wali::wfa::TransDotty , wali::wfa::TransMarshaller
• os : wali::witness::VisitorPrinter , wali::witness::VisitorDot
• out_hyper_edges : wali::graph::GraphNode
• out_nodes : wali::graph::RegExpStats
• outgoing : wali::graph::IntraGraphNode , wali::graph::GraphNode