de.jreality.toolsystem.virtual

Class VirtualIntegrationOperator