Method stringExample

examples/java/JavaExample.java:2262–2278

()

    }

    public void stringExample() {
	System.out.println("String example");
	Context ctx = new Context();
	Expr a = ctx.mkToRe(ctx.mkString("abcd"));
	Expr b = ctx.mkFullRe(ctx.mkReSort(ctx.mkStringSort()));
	System.out.println(a);
	System.out.println(b);
	System.out.println(a.getSort());
	System.out.println(b.getSort());
	Expr c = ctx.mkConcat(ctx.mkToRe(ctx.mkString("abc")),
			     ctx.mkFullRe(ctx.mkReSort(ctx.mkStringSort())),
			     ctx.mkEmptyRe(ctx.mkReSort(ctx.mkStringSort())),
			     ctx.mkAllcharRe(ctx.mkReSort(ctx.mkStringSort())),
			     ctx.mkToRe(ctx.mkString("d")));
	System.out.println(c);
	
    }    

    public static void main(String[] args)
    {