library.problem « language « solver « viatra « eclipse « org « resources « main « src « org.eclipse.viatra.solver.language « org.eclipse.viatra.solver.language.parent - refinery - Mirror of https://github.com/graphs4value/refinery

index : refinery

Mirror of https://github.com/graphs4value/refinery

Graphs4Value

about summary refs log tree commit diff stats

path: root/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/resources/org/eclipse/viatra/solver/language/library.problem

blob: 77f26b70904f928171f665efaa737925b1e1b17a (plain) (blame)

abstract class node
	refers node[0..*] equals opposite equals.

predicate exists(node node).