Class OutputWriters.ToHoa

    • Constructor Detail

      • ToHoa

        public ToHoa​(boolean annotations,
                     boolean stateAcceptance)