kodkod.engine.bool

Class BooleanVariable

java.lang.Object

kodkod.engine.bool.BooleanValue

kodkod.engine.bool.BooleanFormula

kodkod.engine.bool.BooleanVariable

All Implemented Interfaces:

Comparable<BooleanValue>, Iterable<BooleanFormula>

public final class BooleanVariable
extends BooleanFormula

Represents a boolean variable.

Author:

Emina Torlak

Invariants:

op = Operator.VAR

no inputs && label in [1, ..., Integer.MAX_VALUE)

Method Summary

Modifier and Type	Method and Description
<T,A> T	accept(BooleanVisitor<T,A> visitor, A arg) Passes this value and the given argument value to the visitor, and returns the resulting value.
int	hashCode() Returns a hashcode for this variable.
BooleanFormula	input(int i) Throws an IndexOutOfBoundsException.
Iterator<BooleanFormula>	iterator() Returns an empty iterator.
int	label() Returns the label for this value.
Operator	op() Returns the VAR operator.
int	size() Returns 0.
String	toString() Returns a string representation of this variable.

Methods inherited from class kodkod.engine.bool.BooleanValue

compareTo

Methods inherited from class java.lang.Object

equals, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

accept

public <T,A> T accept(BooleanVisitor<T,A> visitor,
                      A arg)

Passes this value and the given argument value to the visitor, and returns the resulting value.

Specified by:

accept in class BooleanFormula

Returns:

the value produced by the visitor when visiting this node with the given argument.

hashCode

public int hashCode()

Returns a hashcode for this variable.

Overrides:

hashCode in class Object

Returns:

a hashcode for this variable.

input

public BooleanFormula input(int i)

Throws an IndexOutOfBoundsException.

Specified by:

input in class BooleanFormula

Requires:

0 <= i < size

Returns:

this.inputs[i]

Throws:

IndexOutOfBoundsException

iterator

public Iterator<BooleanFormula> iterator()

Returns an empty iterator.

Specified by:

iterator in interface Iterable<BooleanFormula>

Specified by:

iterator in class BooleanFormula

Returns:

an empty iterator

label

public int label()

Returns the label for this value.

Specified by:

label in class BooleanValue

Returns:

this.label

op

public Operator op()

Returns the VAR operator.

Specified by:

op in class BooleanValue

Returns:

Operator.VAR

size

public int size()

Returns 0.

Specified by:

size in class BooleanFormula

Returns:

0

toString

public String toString()

Returns a string representation of this variable.

Overrides:

toString in class Object

Returns:

a string representation of this variable.