booleanvariabledemo.java

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

package positronic.satisfiability.demos;

import positronic.satisfiability.elements.*;

public class BooleanVariableDemo
{
  public static void main(String[] args) throws Exception
  {
  	IBooleanVariable booleanVariable1 = BooleanVariable.getBooleanVariable("x",true);
    System.out.println(booleanVariable1);
    IBooleanVariable booleanVariable2 = BooleanVariable.getBooleanVariable("y",false);
    System.out.println(booleanVariable2);
    IBooleanVariable booleanVariable3 = BooleanVariable.getBooleanVariable("x",false);
    if(booleanVariable1==booleanVariable3)
    	System.out.println("booleanVariable1 is the same object as booleanVariable3.");
  }
}