booleanliteralexception.java

来自「Java版的SAT求解器」· Java 代码 · 共 11 行

package positronic.satisfiability.exceptions;

public class BooleanLiteralException extends java.lang.Exception
{
  private static final long serialVersionUID = 1L;
  
  public BooleanLiteralException(String s)
  {
    super(s);
  }
}