de.sayayi.lib.zbdd

Interface ZbddLiteralResolver

public interface ZbddLiteralResolver

Resolve zbdd literal and cube names.

See Also:

Zbdd.setLiteralResolver(ZbddLiteralResolver)

Method Summary

Modifier and Type	Method and Description
default @NotNull String	getCubeName(int[] cubeVars) Return the string representation of a cube.
@NotNull String	getLiteralName(@Range(from=1L,to=2147483647L) int var) Returns the literal name for zbdd variable var.

Method Detail

getLiteralName

@Contract(pure=true)
 @NotNull
@NotNull String getLiteralName(@Range(from=1L,to=2147483647L) int var)

Returns the literal name for zbdd variable var.

Parameters:

var - registered variable

Returns:

literal name, never null

getCubeName

@Contract(pure=true)
 @NotNull
default @NotNull String getCubeName(int[] cubeVars)

Return the string representation of a cube.

Parameters:

cubeVars - zbdd veriables

Returns:

cube name, never null