de.uni_freiburg.informatik.ultimate.logic

Class Assignments

java.lang.Object

de.uni_freiburg.informatik.ultimate.logic.Assignments

public class Assignments
extends java.lang.Object

Class used as a response to get-assignments. This class carries truth values for all named Boolean terms that are asserted so far.

Author:

Juergen Christ

Constructor Summary

Constructors

Constructor and Description
Assignments(java.util.Map<java.lang.String,java.lang.Boolean> assignment) Construct a new assignment.

Method Summary

Modifier and Type	Method and Description
java.lang.Boolean	getAssignment(java.lang.String label) Get the assignment of a named Boolean term.
java.lang.Iterable<java.lang.String>	getFalseAssignments() Iterate over all labels whose corresponding named Boolean term is assigned false in the current model.
int	getNumFalseAssignments() Get the number of labels assigned to false.
int	getNumTrueAssignments() Get the number of labels assigned to true.
java.lang.Iterable<java.lang.String>	getTrueAssignments() Iterate over all labels whose corresponding named Boolean term is assigned true in the current model.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Assignments

public Assignments(java.util.Map<java.lang.String,java.lang.Boolean> assignment)

Construct a new assignment.

Parameters:

assignment - Map containing the assignments extracted by the solver.

Method Detail

getAssignment

public java.lang.Boolean getAssignment(java.lang.String label)

Get the assignment of a named Boolean term.

Parameters:

label - Label of the Boolean term.

Returns:

Truth value assigned to the corresponding named Boolean term.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getTrueAssignments

public java.lang.Iterable<java.lang.String> getTrueAssignments()

Iterate over all labels whose corresponding named Boolean term is assigned true in the current model.

Returns:

Iterator over all satisfied named Boolean terms.

getFalseAssignments

public java.lang.Iterable<java.lang.String> getFalseAssignments()

Iterate over all labels whose corresponding named Boolean term is assigned false in the current model.

Returns:

Iterator over all falsified named Boolean terms.

getNumTrueAssignments

public int getNumTrueAssignments()

Get the number of labels assigned to true.

Returns:

Number of labels assigned to true.

getNumFalseAssignments

public int getNumFalseAssignments()

Get the number of labels assigned to false.

Returns:

Number of labels assigned to false.