コード例 #1
0
 /// <summary>Pretty print the bitvector bv as the character set it represents.</summary>
 public string PrettyPrint(ulong bv, CharSetSolver solver) => solver.PrettyPrint(ConvertToBDD(bv, solver));
コード例 #2
0
        /// <summary>Pretty print the bitvector bv as the character set it represents.</summary>
        public string PrettyPrint(BV bv)
        {
            CharSetSolver solver = CharSetSolver.Instance;

            return(solver.PrettyPrint(ConvertToCharSet(solver, bv)));
        }
コード例 #3
0
ファイル: BitVectorSolver.cs プロジェクト: mikem8361/runtime
 /// <summary>Pretty print the bitvector bv as the character set it represents.</summary>
 public string PrettyPrint(BitVector bv, CharSetSolver solver) => solver.PrettyPrint(ConvertToBDD(bv, solver));