Package org.iam.core

Class Zelkova

java.lang.Object

org.iam.core.Zelkova

public class Zelkova
extends Object

Zelkova provides satisfiability checking and symbolic analysis for constraint files.

Parses input files, builds symbolic representations, checks satisfiability, and exports symbolic graphs in DOT format.

Since:

2025-02-28

Author:

Constructor Summary

Constructors

Constructor	Description
Zelkova()	Default constructor.

Method Summary

Modifier and Type	Method	Description
org.mcp.core.MCPFactory	getMCPFactory()	Returns the MCPFactory used for symbolic computation.
MCPPolicy	getMCPPolicy()	Returns the MCPPolicy built from the input file.
TimeMeasure	getTime()	Returns the TimeMeasure instance for timing statistics.
boolean	isSatisfiable(Path fileName)	Checks if the constraint file is satisfiable.
void	printMCPPolicy(Path path)	Writes the symbolic representation of the MCPPolicy to a DOT file.

Methods inherited from class java.lang.Object

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

Constructor Details

Zelkova

public Zelkova()

Default constructor.

Method Details

isSatisfiable

public boolean isSatisfiable(Path fileName)
                      throws IOException

Checks if the constraint file is satisfiable.

Parameters:

fileName - the path to the input file

Returns:

true if satisfiable, false otherwise

Throws:

IOException - if file reading fails

getMCPFactory

public org.mcp.core.MCPFactory getMCPFactory()

Returns the MCPFactory used for symbolic computation.

Returns:

the MCPFactory instance

getMCPPolicy

public MCPPolicy getMCPPolicy()

Returns the MCPPolicy built from the input file.

Returns:

the MCPPolicy instance

printMCPPolicy

public void printMCPPolicy(Path path)

Writes the symbolic representation of the MCPPolicy to a DOT file.

Parameters:

path - the output file path

getTime

public TimeMeasure getTime()

Returns the TimeMeasure instance for timing statistics.

Returns:

the TimeMeasure instance