org.processmining.ltl2automaton.plugins.formula.conjunction

Interface Conjunction

All Superinterfaces:

java.lang.Iterable<Formula>

All Known Implementing Classes:

GroupedTreeConjunction, PartitionedConjunction, QuickAddConjunction, SizeSortedTreeConjunction, UnsortedTreeConjunction

public interface Conjunction
extends java.lang.Iterable<Formula>

Method Summary

Modifier and Type	Method and Description
void	add(Formula term)
void	balance()
Automaton	getAutomaton()
void	remove(Formula term)
void	setAll(java.util.Collection<Formula> terms)
void	setAll(Formula terms)

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

add

void add(Formula term)
  throws javax.naming.OperationNotSupportedException

Throws:

javax.naming.OperationNotSupportedException

balance

void balance()

getAutomaton

Automaton getAutomaton()

remove

void remove(Formula term)
     throws javax.naming.OperationNotSupportedException

Throws:

javax.naming.OperationNotSupportedException

setAll

void setAll(java.util.Collection<Formula> terms)

setAll

void setAll(Formula terms)