builtin.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/builtin.problem

blob: 4975dad62a35bb3d27d38500a8ab9357b50c82b9 (plain) (blame)

problem builtin.

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

predicate exists(node node).