org.protempa

Class WorkingMemoryFactStore

java.lang.Object

org.protempa.WorkingMemoryFactStore

All Implemented Interfaces:

Serializable

public class WorkingMemoryFactStore
extends Object
implements Serializable

Author:

Andrew Post

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
WorkingMemoryFactStore()

Method Summary

Modifier and Type	Method and Description
Map<Proposition,Set<Proposition>>	getBackwardDerivations()
Map<Proposition,Set<Proposition>>	getForwardDerivations()
Map<String,Integer>	getInstanceNums()
List<Proposition>	getPropositions()
void	setBackwardDerivations(Map<Proposition,Set<Proposition>> backwardDerivations)
void	setForwardDerivations(Map<Proposition,Set<Proposition>> forwardDerivations)
void	setInstanceNums(Map<String,Integer> instanceNums)
void	setPropositions(List<Proposition> propositions)

Methods inherited from class java.lang.Object

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

Constructor Detail

WorkingMemoryFactStore

public WorkingMemoryFactStore()

Method Detail

getPropositions

public List<Proposition> getPropositions()

setPropositions

public void setPropositions(List<Proposition> propositions)

getForwardDerivations

public Map<Proposition,Set<Proposition>> getForwardDerivations()

setForwardDerivations

public void setForwardDerivations(Map<Proposition,Set<Proposition>> forwardDerivations)

getBackwardDerivations

public Map<Proposition,Set<Proposition>> getBackwardDerivations()

setBackwardDerivations

public void setBackwardDerivations(Map<Proposition,Set<Proposition>> backwardDerivations)

getInstanceNums

public Map<String,Integer> getInstanceNums()

setInstanceNums

public void setInstanceNums(Map<String,Integer> instanceNums)