mx.unam.iimas.griffin.logic.implicants

Class PrimeImplicantGraph

java.lang.Object

mx.unam.iimas.griffin.graph.DirectedHypergraph<Literal>

mx.unam.iimas.griffin.logic.implicants.PrimeImplicantGraph

public class PrimeImplicantGraph
extends DirectedHypergraph<Literal>

Creates a prime implicant graph http://www.opus4.kobv.de/opus4-matheon/files/1282/Klarner-et-al-14.pdf Klarner, H., Bockmayr, A., and Siebert, H. (2014). Computing Symbolic Steady States of Boolean Networks. In Cellular Automata (pp. 561-570). Springer International Publishing.

Version:

1.0

Author:

Stalin Muñoz Gutiérrez (stalinmunoz@yahoo.com)

Nested Class Summary

Nested classes/interfaces inherited from class mx.unam.iimas.griffin.graph.DirectedHypergraph

DirectedHypergraph.DirectedHyperEdge, DirectedHypergraph.Vertex

Constructor Summary

Constructors

Constructor and Description
PrimeImplicantGraph(BooleanGeneRegulatoryNetwork network)
PrimeImplicantGraph(java.util.Set<DirectedHypergraph.Vertex> vertices, java.util.Set<DirectedHypergraph.DirectedHyperEdge> edges)

Method Summary

Modifier and Type	Method and Description
DirectedHypergraph.Vertex	getOpposite(DirectedHypergraph.Vertex vertex) Returns the opposite vertex to the given vertex two vertices are opposite to one another if they represent complementary literals
java.lang.String	toString()

Methods inherited from class mx.unam.iimas.griffin.graph.DirectedHypergraph

getEdges, getIncomingEdges, getOutgoingEdges, getVertices

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PrimeImplicantGraph

public PrimeImplicantGraph(java.util.Set<DirectedHypergraph.Vertex> vertices,
                           java.util.Set<DirectedHypergraph.DirectedHyperEdge> edges)

PrimeImplicantGraph

public PrimeImplicantGraph(BooleanGeneRegulatoryNetwork network)

Method Detail

getOpposite

public DirectedHypergraph.Vertex getOpposite(DirectedHypergraph.Vertex vertex)

Returns the opposite vertex to the given vertex two vertices are opposite to one another if they represent complementary literals

Parameters:

vertex - the reference vertex

Returns:

the opposite vertex

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object