public class SolverClient extends Object implements IMIPSolver
Modifier and Type | Class and Description |
---|---|
protected static class |
SolverClient.ClientSolver |
Modifier and Type | Field and Description |
---|---|
protected IMIPSolver |
solver |
Constructor and Description |
---|
SolverClient()
Creates a default local solver
|
SolverClient(IMIPSolver solver)
create a client using the given solver explicitly.
|
SolverClient(String host,
int port)
Creates a client using the server at the given host and port.
|
SolverClient(TypedProperties props) |
Modifier and Type | Method and Description |
---|---|
String |
getHost() |
protected static IMIPSolver |
getLocalSolver(String className)
Get a local solver
|
String |
getName() |
int |
getPort() |
protected static IMIPSolver |
getRemoteSolver(String host,
int port) |
protected static IMIPSolver |
getSolverForProps(TypedProperties props) |
IMIPResult |
solve(byte[] serializedMip)
Solve the given serialized mip
|
IMIPResult |
solve(IMIP mip)
Solve the given mip
|
protected IMIPSolver solver
public SolverClient(TypedProperties props)
public SolverClient()
public SolverClient(String host, int port)
public SolverClient(IMIPSolver solver)
public String getName()
public String getHost()
public int getPort()
public IMIPResult solve(IMIP mip) throws MIPException
solve
in interface IMIPSolver
MIPException
public IMIPResult solve(byte[] serializedMip)
protected static IMIPSolver getSolverForProps(TypedProperties props)
protected static IMIPSolver getLocalSolver(String className)
protected static IMIPSolver getRemoteSolver(String host, int port)
Copyright © 2017. All rights reserved.