public static Unfolding create(final ATermAppl result, final ATermAppl condition, final Set<ATermAppl> explanation) { return new Conditional(result, condition, explanation); }
@Override public String toString() { return ATermUtils.toString(_condition) + " ? " + ATermUtils.toString(getResult()); } }
@Override public String toString() { return ATermUtils.toString(_condition) + " ? " + ATermUtils.toString(getResult()); } }
public static Unfolding create(final ATermAppl result, final ATermAppl condition, final Set<ATermAppl> explanation) { return new Conditional(result, condition, explanation); }