bitstringfixerdemo.java

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

package positronic.satisfiability.demos;

import java.util.List;

import positronic.satisfiability.bitstring.BitString;
import positronic.satisfiability.bitstring.BitStringFixer;
import positronic.satisfiability.bitstring.IBitString;
import positronic.satisfiability.elements.BooleanLiteral;
import positronic.satisfiability.elements.BooleanVariable;
import positronic.satisfiability.elements.IBooleanVariable;
import positronic.satisfiability.elements.IProblem;
import positronic.satisfiability.solutions.PartialSolution;

public class BitStringFixerDemo
{
  public static void main(String[] args) throws Exception
  {
    IBitString samp1=new BitString("myBitString1",new boolean[3]);
    IProblem problem=new BitStringFixer(samp1,new boolean[]{true,false,true});
    System.out.print(problem);
    List s=PartialSolution.solveList(problem);
		if(s!=null && s.size()>0)
    {
      BooleanLiteral.interpret(s);
    	System.out.println("\n"+samp1.getName()+"= "+samp1);
    	
    }
    else
      System.out.println("No solution.");

    IBitString samp2=new BitString("myBitString2",3);
    problem=new BitStringFixer(samp2,new boolean[]{true,false,true,false});
    System.out.print(problem);
    s=PartialSolution.solveList(problem);
		if(s!=null && s.size()>0)
    {
      BooleanLiteral.interpret(s);
    	System.out.println("\n"+samp2.getName()+"= "+samp2);
    	
    }
    else
      System.out.println("No solution.");

    IBitString samp3=new BitString("myBitString3",3);
    problem=new BitStringFixer(samp3,new BitString("101"));
    System.out.print(problem);
    s=PartialSolution.solveList(problem);
		if(s!=null && s.size()>0)
    {
      BooleanLiteral.interpret(s);
    	System.out.println("\n"+samp3.getName()+"= "+samp3);
    	
    }
    else
      System.out.println("No solution.");

    IBitString samp4=new BitString("myBitString4",new boolean[]{false,false,true});
    problem=new BitStringFixer(samp4,new BitString("101"));
    System.out.print(problem);
    s=PartialSolution.solveList(problem);
		if(s!=null && s.size()>0)
    {
      BooleanLiteral.interpret(s);
    	System.out.println("\n"+samp4.getName()+"= "+samp4);
    	
    }
    else
      System.out.println("No solution.");

    IBitString samp5=new BitString("myBitString5",new IBooleanVariable[]
      {
        BooleanVariable.getBooleanVariable(true),
        BooleanVariable.getBooleanVariable("foo",true),
        BooleanVariable.getBooleanVariable(false)
      });
    problem=new BitStringFixer(samp5);
    System.out.print(problem);
    s=PartialSolution.solveList(problem);
		if(s!=null && s.size()>0)
    {
      BooleanLiteral.interpret(s);
    	System.out.println("\n"+samp5.getName()+"= "+samp5);
    	
    }
    else
      System.out.println("No solution.");

    IBitString samp6=new BitString("myBitString6",
      new IBooleanVariable[]
      {
        BooleanVariable.getBooleanVariable(true),
        BooleanVariable.getBooleanVariable("foo",true),
        BooleanVariable.getBooleanVariable(false)
      });
    problem=new BitStringFixer(samp6,new boolean[]{false,false,true});
    System.out.print(problem);
    s=PartialSolution.solveList(problem);
		if(s!=null && s.size()>0)
    {
      BooleanLiteral.interpret(s);
    	System.out.println("\n"+samp6.getName()+"= "+samp6);
    	
    }
    else
      System.out.println("No solution.");
  }
}