Class Constraints

java.lang.Object

org.openprovenance.prov.validation.Constraints

public class Constraints
extends Object

A class to compute ordering constraints.

Field Summary

Fields

Modifier and Type	Field	Description
static final int	PRECEDE
static final int	PRECEDE_STRICT
Hashtable<String,Collection<String>>	typeOverlapTable

Constructor Summary

Constructors

Constructor	Description
Constraints(Types typeChecker, Indexer indexer, Inference inference, EventIndexer evtIndexer)

Method Summary

Modifier and Type	Method	Description
void	constraint_actedOnBehalfOf_ordering()
void	constraint_derivation_generation_precedes_generation()
void	constraint_derivation_usage_generation_ordering()
void	constraint_end_end_ordering()
void	constraint_entity_activity_disjoint()
void	constraint_generation_generation_ordering()
void	constraint_generation_precedes_end()
void	constraint_generation_precedes_invalidation()
void	constraint_generation_precedes_usage()
void	constraint_invalidation_invalidation_ordering()
void	constraint_specialization_generation_ordering()
void	constraint_specialization_invalidation_ordering()
void	constraint_start_precedes_end()
void	constraint_start_precedes_generation()
void	constraint_start_precedes_usage()
void	constraint_start_start_ordering()
void	constraint_usage_precedes_end()
void	constraint_usage_precedes_invalidation()
void	constraint_wasAssociatedWith_ordering()
void	constraint_wasAttributedTo_ordering()
void	constraint_wasEndedBy_ordering()
void	constraint_wasInformedBy_ordering()
void	constraint_wasStartedBy_ordering()
void	constraints(Config config)
void	constraints(Config config, boolean closure)
EventMatrix	getMatrix()
void	precede(Integer event1, Integer event2)
void	precedeStrict(Integer event1, Integer event2)

Methods inherited from class java.lang.Object

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

Field Details

typeOverlapTable

public Hashtable<String,Collection<String>> typeOverlapTable

PRECEDE_STRICT

public static final int PRECEDE_STRICT

See Also:

• Constant Field Values

PRECEDE

public static final int PRECEDE

See Also:

• Constant Field Values

Constructor Details

Constraints

public Constraints(Types typeChecker,
 Indexer indexer,
 Inference inference,
 EventIndexer evtIndexer)

Method Details

getMatrix

public EventMatrix getMatrix()

constraints

public void constraints(Config config)

constraints

public void constraints(Config config,
 boolean closure)

constraint_start_precedes_end

public void constraint_start_precedes_end()

constraint_generation_precedes_invalidation

public void constraint_generation_precedes_invalidation()

constraint_generation_precedes_usage

public void constraint_generation_precedes_usage()

constraint_wasStartedBy_ordering

public void constraint_wasStartedBy_ordering()

constraint_wasEndedBy_ordering

public void constraint_wasEndedBy_ordering()

constraint_usage_precedes_invalidation

public void constraint_usage_precedes_invalidation()

constraint_usage_precedes_end

public void constraint_usage_precedes_end()

constraint_generation_precedes_end

public void constraint_generation_precedes_end()

constraint_start_precedes_usage

public void constraint_start_precedes_usage()

constraint_start_precedes_generation

public void constraint_start_precedes_generation()

constraint_derivation_generation_precedes_generation

public void constraint_derivation_generation_precedes_generation()

constraint_derivation_usage_generation_ordering

public void constraint_derivation_usage_generation_ordering()

constraint_wasInformedBy_ordering

public void constraint_wasInformedBy_ordering()

constraint_wasAssociatedWith_ordering

public void constraint_wasAssociatedWith_ordering()

constraint_wasAttributedTo_ordering

public void constraint_wasAttributedTo_ordering()

constraint_actedOnBehalfOf_ordering

public void constraint_actedOnBehalfOf_ordering()

constraint_generation_generation_ordering

public void constraint_generation_generation_ordering()

constraint_invalidation_invalidation_ordering

public void constraint_invalidation_invalidation_ordering()

constraint_start_start_ordering

public void constraint_start_start_ordering()

constraint_end_end_ordering

public void constraint_end_end_ordering()

constraint_specialization_generation_ordering

public void constraint_specialization_generation_ordering()

constraint_specialization_invalidation_ordering

public void constraint_specialization_invalidation_ordering()

constraint_entity_activity_disjoint

public void constraint_entity_activity_disjoint()

precede

public void precede(Integer event1,
 Integer event2)

precedeStrict

public void precedeStrict(Integer event1,
 Integer event2)