org.clafer.ast.analysis

Class PartialSolution

java.lang.Object

org.clafer.ast.analysis.PartialSolution

public class PartialSolution
extends Object

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
PartialSolution(boolean[] solution, int[][] parent)

Method Summary

Methods

Modifier and Type	Method and Description
int[]	getKnownClafers()
int[]	getPossibleParents(int id)
int[]	getPossiblesSiblings(int id)
boolean[]	getSolution()
int[]	getUnknownClafers()
boolean	hasClafer(int id)
boolean	parentSolutionKnown()
int	size()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PartialSolution

public PartialSolution(boolean[] solution,
               int[][] parent)

Method Detail

hasClafer

public boolean hasClafer(int id)

Parameters:

id -

Returns:

true if id exists, false if unknown.

getSolution

public boolean[] getSolution()

getKnownClafers

public int[] getKnownClafers()

getUnknownClafers

public int[] getUnknownClafers()

getPossibleParents

public int[] getPossibleParents(int id)

Parameters:

id -

Returns:

possible parents of id

parentSolutionKnown

public boolean parentSolutionKnown()

Returns:

true if and only if all parents are known, false otherwise

getPossiblesSiblings

public int[] getPossiblesSiblings(int id)

Parameters:

id -

Returns:

possible siblings of id

size

public int size()