org.ginsim.service.tool.polytopesViz

Class PolytopesService

java.lang.Object

org.ginsim.service.tool.polytopesViz.PolytopesService

All Implemented Interfaces:

Service

@MetaInfServices(value=Service.class)
 @ServiceStatus(value=DEVELOPMENT)
public class PolytopesService
extends Object
implements Service

Constructor Summary

Constructors

Constructor and Description
PolytopesService()

Method Summary

Modifier and Type	Method and Description
Colorizer	getColorizer()
void	run(DynamicGraph graph, StatesSet polytope)
void	run(DynamicGraph graph, String logical_formulae)
void	setColorizer(Colorizer colorizer)
void	undoColorize()

Methods inherited from class java.lang.Object

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

Constructor Detail

PolytopesService

public PolytopesService()

Method Detail

run

public void run(DynamicGraph graph,
                String logical_formulae)
         throws ParseException

Throws:

ParseException

run

public void run(DynamicGraph graph,
                StatesSet polytope)

undoColorize

public void undoColorize()

getColorizer

public Colorizer getColorizer()

Returns:

the colorizer

setColorizer

public void setColorizer(Colorizer colorizer)

Parameters:

colorizer - the colorizer to set