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: 49b67d5af8ae387fa81b8d62266f3dfb43eca222 (plain) (blame)

problem builtin.

abstract class node {
	node[] equals opposite equals
}

pred exists(node node).

enum bool {
	true, false
}

class double.

class int extends double.

class string.