Module org.maxicp

Package org.maxicp.modeling.xcsp3

Record Class XCSP3.XCSP3LoadedInstance

java.lang.Object

java.lang.Record

org.maxicp.modeling.xcsp3.XCSP3.XCSP3LoadedInstance

All Implemented Interfaces:

AutoCloseable

Enclosing class:

XCSP3

public static record XCSP3.XCSP3LoadedInstance(ModelDispatcher md, IntExpression[] decisionVars, Supplier<String> solutionGenerator)
extends Record
implements AutoCloseable

Constructor Summary

Constructors

Constructor	Description
XCSP3LoadedInstance(ModelDispatcher md, IntExpression[] decisionVars, Supplier<String> solutionGenerator)	Creates an instance of a XCSP3LoadedInstance record class.

Method Summary

Modifier and Type	Method	Description
void	close()
IntExpression[]	decisionVars()	Returns the value of the decisionVars record component.
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
final int	hashCode()	Returns a hash code value for this object.
ModelDispatcher	md()	Returns the value of the md record component.
Supplier<String>	solutionGenerator()	Returns the value of the solutionGenerator record component.
final String	toString()	Returns a string representation of this record class.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

XCSP3LoadedInstance

public XCSP3LoadedInstance(ModelDispatcher md,
 IntExpression[] decisionVars,
 Supplier<String> solutionGenerator)

Creates an instance of a XCSP3LoadedInstance record class.

Parameters:

md - the value for the md record component

decisionVars - the value for the decisionVars record component

solutionGenerator - the value for the solutionGenerator record component

Method Details

close

public void close()
           throws Exception

Specified by:

close in interface AutoCloseable

Throws:

Exception

toString

public final String toString()

Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.

Specified by:

toString in class Record

Returns:

a string representation of this object

hashCode

public final int hashCode()

Returns a hash code value for this object. The value is derived from the hash code of each of the record components.

Specified by:

hashCode in class Record

Returns:

a hash code value for this object

equals

public final boolean equals(Object o)

Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).

Specified by:

equals in class Record

Parameters:

o - the object with which to compare

Returns:

true if this object is the same as the o argument; false otherwise.

md

public ModelDispatcher md()

Returns the value of the md record component.

Returns:

the value of the md record component

decisionVars

public IntExpression[] decisionVars()

Returns the value of the decisionVars record component.

Returns:

the value of the decisionVars record component

solutionGenerator

public Supplier<String> solutionGenerator()

Returns the value of the solutionGenerator record component.

Returns:

the value of the solutionGenerator record component